conftrace_

Papers

220,881 papers found · incl. 36,276 awaiting a processed abstract Focus on papers with abstracts
LeanTutor: Towards a Verified AI Mathematical Proof Tutor
Manooshree Patel, Rayna Bhattacharyya, Thomas Lu et al.
2026 AAAI
Leap of FAITH from GNN-to-MLP: Fairness Aware Inference via DisTillation of GrapH Knowledge
Vipul Kumar Singh, Jyotismita Barman, Sandeep Kumar et al.
2026 AAAI
2026 AAAI
2026 AAAI
Learnable Query-Enhanced Pose Transformation
Yi-Zhen Wang, Hong-Han Shuai
2026 WACV
2026 AAAI
2026 AAAI
2026 AAAI
Learning Action Hierarchies via Hybrid Geometric Diffusion
Arjun Ramesh Kaushik, Nalini K. Ratha, Venu Govindaraju
2026 WACV
2026 AAAI
2026 WACV
Learning Branching Policies for MILPs with Proximal Policy Optimization
Abdelouahed Ben Mhamed, Assia Kamal Idrissi, Amal Seghrouchni
2026 AAAI