conftrace_

Papers

20,013 papers found · incl. 10 awaiting a processed abstract Focus on papers with abstracts
Promoting Efficient Reasoning with Verifiable Stepwise Reward
Chuhuai Yue, Chengqi Dong, Yinan Gao et al.
2026 AAAI
2026 AAAI
Promptus: Can Prompt Streaming Replace Video Streaming
Jiangkai Wu, Liming Liu, Yunpeng Tan et al.
2026 AAAI
Proof Systems for Tensor-based Model Counting
Olaf Beyersdorff, Joachim Giesen, Andreas Goral et al.
2026 AAAI
Proof Systems That Tightly Characterise Model Counting Algorithms
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche
2026 AAAI
ProRefine: Inference-Time Prompt Refinement with Textual Feedback (Student Abstract)
Deepak Pandita, Tharindu Cyril Weerasooriya, Ankit Shah et al.
2026 AAAI
2026 AAAI
2026 AAAI
2026 AAAI
2026 AAAI
2026 AAAI