Accepted Papers
Accepted papers, including those from special sessions, will be listed here.
Regular Track
- Dynamic Conditional Logic
Konstantinos Georgatos
(Talk cancelled) - Bypassing Simulation-Based Methods: A Case Study in HVAC Scheduling
Aditya Nanda Kishore Khandavally, Ruchitha Kuthethoor, Corinna Ma, T. K. Satish Kumar
(Talk cancelled) - The FastPivot Lift-and-Project Strategy to Avoid Local Minima
Ang Li, Yuling Guan, Peter Wu, Sven Koenig, Stephan Haas, T. K. Satish Kumar
(Talk cancelled) - Complexity of the Possible President Problem in Schulze Voting
Jana Woitaschik - Broad Training and Predictability in Knowledge Graph Completion via Formal Concepts
Katie Brodhead - A CCG-Based Incremental Procedure for Solving Boolean WCSPs
Orazio Rillo, Chanavi Singh, T. K. Satish Kumar
(Talk cancelled) - New results on F-Quantified Linear Programs
A. Subramani, K. Subramani, Piotr Wojciechowski - Lightweight satisfiability solving using dataless neural networks
Andrew Gautier, Piotr Wojciechowski, Sangram K. Jena, K. Subramani, Alvaro Velasquez - Bayesian Superposition Encoding with KL-Bounded Jitter Robustness
Sylvester Kaczmarek
(Talk cancelled) - Margin-Based Sparsification for Feature-Budgeted Linear SVM
Lev Reyzin, Shuo Wu - Beyond Tsybakov: Model Margin Noise and $H$-Consistency Bounds
Mehryar Mohri, Yutao Zhong - Scaling the Explanation of Multi-Class Bayesian Network Classifiers
Yaofang Zhang, Adnan Darwiche - Sensitivity and Uncertainty Quantification in Regression Neural Networks: A Quantum Tensor Network Based Approach
Pragatheeswaran Vipulanandan, Kamal Premaratne, Dilip Sarkar - Circuit Representation of Random Forests with Applications to XAI
Chunxi Ji, Adnan Darwiche
Cooperation, Competition, and Complexity in AI Planning and Learning
- Planning with Foundation Models: From Service to Assistive Robotics
Shiqi Zhang - Is Learning Effective in Dynamic Strategic Interactions? Evidence from Stackelberg Games
Michael Albert - Distributionally Robust Markov Games with Average Reward
Yue Wang - Scaling Tree Search to Domains with Large Belief States
Christopher Solinas - Deterministic Policy Gradients in the Era of Soft RL: Mixture Actors and Adaptive Ensembles
Guni Sharon - Strategic Value and Incentivized Cooperation in Multi-Player Stochastic Games
Alan Kuhnle - HaLLMos: Constitutional AI for Teaching Mathematical Proofs
Vince Vatter
Data-Driven Decisions: Applied Machine Learning & Optimization
- Pattern-based Survival Analysis and Its Application to Medicine
Travaughn Coren Bain, Ersoy Subasi, and Munevver Mine Subasi - New Approach to Generate Patterns for Logical Analysis of Data and Its Application to Predict College Retention
Salihah Ahmed Jaafari, Mehdi Mrad, and Munevver Mine Subasi - Missing Data Estimation for MR Spectroscopic Imaging via Mask-Free Deep Learning Methods
Tan-Hanh Pham, Sean Subasi, Ovidiu C Andronesi, Kim-Doang Nguyen, and Xianqi Li - Integrating Learned Residual Dynamics with Model Predictive Control
Wenxi Liu, Sirani M. Perera, Aaron Welters, and Xianqi Li - A Hybrid Evolutionary Framework for Stratifying Chronic Kidney Disease Risk in African-Americans with Hypertension
Melissa Stradley Moreno, Anna Katja Maria Chesterman, Tiantian Zhang, Ali Tariq, Ersoy Subasi, Munevver Mine Subasi, and Michael Lipkowitz - Risk-Concious and Investor-Centric Stock Portfolio Optimization Models
Sharifa Dafer Alqarni, Mehdi Mrad, and Munevver Mine Subasi - Correlation-Threshold Feature Selection for Internet of Things (IoT) Device Identification under Domain Shift
Aniket Dhanawade, Parth Ganeriwala, and Siddhartha Bhattacharyya
AI and Group Theory
- Computing kernel of Burau Representation B4 modulo p using Reinforcement Learning
Borys Holikov Reinforcement learning approach to Kaplansky's Zero Divisors Conjecture
Kyrylo Muliarchyk- Computational methods for Studying the Finiteness of Burnside Group with small odd exponent: The case of B(2,5)
Itshak Ginsburg - Algorithmic Perspectives on the Andrews-Curtis Conjecture
Vazgen Kirakosyan - Supplementing Knuth-Bendix for groups with Reinforcement Learning
Brett Berger - Extending U-MATH: An Automated University-Level Benchmark for Evaluating Step-by-Step Mathematical Reasoning in LLMs
Winston Lee - RL Algorithmic Mixer
Vladislav Stepanov - AI and classical algorithmic problems in algebra
Alexei Miasnikov - Automated reasoning for proving non-orderability of groups and quandles
Alexei Lisitsa
Topics in Math and AI
- Automated Translation of Regulatory Text into Defeasible Deontic Logic
Leora Morgenstern - Control in Computational Social Choice
Jörg Rothe - FastMap: New Extensions and Applications
Satish Kumar Thittamaranahalli
(Talk cancelled) - Statistical Queries
Lev Reyzin - PAC Learning and Label Noise
Dimitrios I. Diochnos