firstbacksecondback
291 Results
|
Workshop
|
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis Sagnik Anupam · Matthew Bowers · Omar Costilla Reyes · Armando Solar-Lezama |
||
|
Workshop
|
Improving LLM Reasoning with Multi-Agent Tree-of-Thought Validator Agent Fatemeh Haji · Mazal Bethany · Maryam Tabar · Cho-Yu Chiang · Anthony Rios · peyman najafirad |
||
|
Workshop
|
What do Learning Dynamics Reveal about Generalization in LLM Reasoning? Yijun Kang · Amrith Setlur · Dibya Ghosh · Jacob Steinhardt · Claire Tomlin · Sergey Levine · Aviral Kumar |
||
|
Workshop
|
Sun 14:15 |
ENTER: Event Based Interpretable Reasoning for VideoQA Hammad Ayyubi · Junzhang Liu · Zhecan Wang · Hani Alomari · Chia-Wei Tang · Ali Asgarov · Md. Atabuzzaman · Najibul Haque Sarker · Zaber Hakim · Shih-Fu Chang · Chris Thomas |
|
|
Poster
|
Thu 16:30 |
Is Programming by Example Solved by LLMs? Wen-Ding Li · Kevin Ellis |
|
|
Workshop
|
Sun 12:10 |
ENTER: Event Based Interpretable Reasoning for VideoQA Hammad Ayyubi · Junzhang Liu · Zhecan Wang · Hani Alomari · Chia-Wei Tang · Ali Asgarov · Md. Atabuzzaman · Najibul Haque Sarker · Zaber Hakim · Shih-Fu Chang · Chris Thomas |
|
|
Poster
|
Fri 11:00 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |
|
|
Oral
|
Thu 16:10 |
LINGOLY: A Benchmark of Olympiad-Level Linguistic Reasoning Puzzles in Low Resource and Extinct Languages Andrew M. Bean · Simi Hellsten · Harry Mayne · Jabez Magomere · Ethan Chi · Ryan Chi · Scott Hale · Hannah Rose Kirk |
|
|
Poster
|
Wed 11:00 |
MARVEL: Multidimensional Abstraction and Reasoning through Visual Evaluation and Learning Yifan Jiang · jiarui zhang · Kexuan Sun · Zhivar Sourati · Kian Ahrabian · Kaixin Ma · Filip Ilievski · Jay Pujara |
|
|
Affinity Event
|
Reducing Reasoning Costs - The Path of Optimization for Chain of Thought via Sparse Attention Mechanism Libo Wang |
||
|
Poster
|
Wed 16:30 |
OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI Zhen Huang · Zengzhi Wang · Shijie Xia · Xuefeng Li · Haoyang Zou · Ruijie Xu · Run-Ze Fan · Lyumanshan Ye · Ethan Chern · Yixin Ye · Yikai Zhang · Yuqing Yang · Ting Wu · Binjie Wang · Shichao Sun · Yang Xiao · Yiyuan Li · Fan Zhou · Steffi Chern · Yiwei Qin · Yan Ma · Jiadi Su · Yixiu Liu · Yuxiang Zheng · Shaoting Zhang · Dahua Lin · Yu Qiao · Pengfei Liu |
|
|
Affinity Event
|
Enhancing Graph-to-Text Systems in Low-Resource Settings: Distilling Chain-Of-Thought Reasoning For Task-Specific Workflows David Guzman Piedrahita · Arnisa Fazla · Anna Kiepura |