Skip to yearly menu bar Skip to main content


Workshop

2nd AI for Math Workshop @ ICML 2025

Yinya Huang ⋅ Zhicheng Yang ⋅ Xiaodan Liang ⋅ Zhengying Liu ⋅ Zhijiang Guo ⋅ Swaroop Mishra ⋅ Mateja Jamnik ⋅ Kun Zhang ⋅ Isabelle Guyon ⋅ Yilun Zhou ⋅ Marina Vinyes ⋅ Mert Unsal ⋅ Jing Tang ⋅ Haiming Wang ⋅ Wenda Li ⋅ Bin Dong ⋅ Alex Gu ⋅ Baran Hashemi ⋅ Zhizhen Qin ⋅ Soonho Kong ⋅ Leni Aniva ⋅ Xiaohan Lin ⋅ Kun Xiang
Project Page [ OpenReview] 

Abstract

Video

Chat is not available.

Schedule

Timezone: Asia/Seoul
12:30 AM
Opening Remarks
2:40 AM
Award Ceremony
2:50 AM
Poster Session
4:20 AM
Lunch Break
7:30 AM
Coffee Break
8:45 AM
Panel Discussion
Jeremy Avigad ⋅ Leonardo de Moura ⋅ Moa Johansson ⋅ Amaury Hayat ⋅ Sergei Gukov ⋅ Shubho Sengupta
9:55 AM
Closing Remarks
IntegralBench: Benchmarking LLMs with Definite Integral Problems
Bintao Tang ⋅ Xin Yang ⋅ Yuhao Wang ⋅ Zixuan Qiu ⋅ Zimo Ji ⋅ Wenyuan Jiang
Inequality Ranking and Inference System ($\texttt{\textbf{IRIS}}$): Giving Mathematical Conjectures Numerical Value
Jillian Eddy ⋅ Randy Davila ⋅ Jesus De Loera ⋅ Junwei Lu ⋅ Ethan Fang ⋅ Zini Yang
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
Yang Yue ⋅ Zhiqi Chen ⋅ Rui Lu ⋅ Andrew Zhao ⋅ Zhaokai Wang ⋅ Yang Yue ⋅ Shiji Song ⋅ Gao Huang
Putting the Value Back in RL: Better Test-Time Scaling by Unifying LLM Reasoners With Verifiers
Kusha Sareen ⋅ Morgane Moss ⋅ Alessandro Sordoni ⋅ Rishabh Agarwal ⋅ Seyedarian Hosseini
Beyond Single-Task: Robust Multi-Task Length Generalization for LLMs
Yi Hu ⋅ Shijia Kang ⋅ Haotong Yang ⋅ xu ⋅ Muhan Zhang
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
Weiming Wu ⋅ Zi-Kang Wang ⋅ Jin Ye ⋅ Zhi Zhou ⋅ Yu-Feng Li ⋅ Lan-Zhe Guo
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Terry Jingchen Zhang ⋅ Wenyuan Jiang ⋅ Rongchuan Liu ⋅ Yisong Wang ⋅ Ning Wang ⋅ Junran Yang ⋅ Yinya Huang ⋅ Mrinmaya Sachan
TinyV: Reducing False Negatives in Verification Improves RL for LLM Reasoning
Zhangchen Xu ⋅ Yuetai Li ⋅ Fengqing Jiang ⋅ Bhaskar Ramasubramanian ⋅ Luyao Niu ⋅ Yuchen Lin ⋅ Radha Poovendran
Prover Agent: An Agent-based Framework for Formal Mathematical Proofs
Kaito Baba ⋅ Chaoran Liu ⋅ Shuhei Kurita ⋅ Akiyoshi Sannai
Putnam-AXIOM: A Functional and Static Benchmark
Aryan Gulati ⋅ Brando Miranda ⋅ Eric Chen ⋅ Emily Xia ⋅ Kai Fronsdal ⋅ Bruno de Moraes Dumont ⋅ Sanmi Koyejo
SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers
Kechen Li ⋅ Wenqi Zhu ⋅ Coralia Cartis ⋅ Tianbo Ji ⋅ Shiwei Liu
VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda ⋅ Zhanke Zhou ⋅ Allen Nie ⋅ Elyas Obbad ⋅ Leni Aniva ⋅ Kai Fronsdal ⋅ Weston Kirk ⋅ Dilara Soylu ⋅ Andrea Yu ⋅ Ying Li ⋅ Sanmi Koyejo
Learning to Discover Abstractions for LLM Reasoning
Yuxiao Qu ⋅ Anikait Singh ⋅ Yoonho Lee ⋅ Amrith Setlur ⋅ Russ Salakhutdinov ⋅ Chelsea Finn ⋅ Aviral Kumar
e3: Learning to Explore Enables Extrapolation of Test-Time Compute for LLMs
Amrith Setlur ⋅ Matthew Yang ⋅ Charlie Snell ⋅ Jeremiah Greer ⋅ Ian Wu ⋅ Virginia Smith ⋅ Max Simchowitz ⋅ Aviral Kumar
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
Zijian Wu ⋅ Suozhi Huang ⋅ Zhejian Zhou ⋅ Huaiyuan Ying ⋅ Zheng Yuan ⋅ Wenwei Zhang ⋅ Dahua Lin ⋅ Kai Chen
When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoning
Nishad Singhi ⋅ Hritik Bansal ⋅ Seyedarian Hosseini ⋅ Aditya Grover ⋅ Kai-Wei Chang ⋅ Marcus Rohrbach ⋅ Anna Rohrbach
Entropy-Based Adaptive Weighting for Self-Training
Xiaoxuan Wang ⋅ Yihe Deng ⋅ Mingyu Ma ⋅ Wei Wang
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Amitayush Thakur ⋅ Jasper Lee ⋅ George Tsoukalas ⋅ Meghana Sistla ⋅ Matthew Zhao ⋅ Stefan Zetzsche ⋅ Greg Durrett ⋅ Yisong Yue ⋅ Swarat Chaudhuri
Ada-R1: Hybrid CoT via Bi-Level Adaptive Reasoning Optimization
Haotian Luo ⋅ Haiying He ⋅ Yibo Wang ⋅ Jinluan Yang ⋅ Rui Liu ⋅ Naiqiang Tan ⋅ Xiaochun Cao ⋅ Dacheng Tao ⋅ Li Shen
$Q\sharp$: Provably Optimal Distributional RL for LLM Post-Training
Jin Zhou ⋅ Kaiwen Wang ⋅ Jonathan Chang ⋅ Zhaolin Gao ⋅ Nathan Kallus ⋅ Kilian Weinberger ⋅ Kianté Brantley ⋅ Wen Sun
Optimizing Anytime Reasoning via Budget Relative Policy Optimization
Penghui Qi ⋅ Zichen Liu ⋅ Tianyu Pang ⋅ Chao Du ⋅ Wee Sun Lee ⋅ Min Lin
RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics
Jie Zhang ⋅ Cezara Petrui ⋅ Kristina Nikolić ⋅ Florian Tramer
Understanding R1-Zero-Like Training: A Critical Perspective
Zichen Liu ⋅ Changyu Chen ⋅ Wenjun Li ⋅ Penghui Qi ⋅ Tianyu Pang ⋅ Chao Du ⋅ Wee Sun Lee ⋅ Min Lin
O1-Pruner: Length-Harmonizing Fine-Tuning for O1-Like Reasoning Pruning
Haotian Luo ⋅ Li Shen ⋅ Haiying He ⋅ Yibo Wang ⋅ Shiwei Liu ⋅ Wei Li ⋅ Naiqiang Tan ⋅ Xiaochun Cao ⋅ Dacheng Tao
DSR-Bench: Evaluating the Structural Reasoning Abilities of LLMs via Data Structures
Yu He ⋅ Yingxi Li ⋅ Colin White ⋅ Ellen Vitercik
A Survey on Large Language Model Reasoning Failures
Peiyang Song ⋅ Pengrui Han ⋅ Noah Goodman
ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving
Amitayush Thakur ⋅ George Tsoukalas ⋅ Greg Durrett ⋅ Swarat Chaudhuri
Reinforcement Learning Teachers of Test Time Scaling
Edoardo Cetin ⋅ Tianyu Zhao ⋅ Yujin Tang
Is Human-Written Data Enough? The Challenge of Teaching Reasoning to LLMs Without RL or Distillation
Wei Du ⋅ Branislav Kisacanin ⋅ George Armstrong ⋅ Shubham Toshniwal ⋅ Ivan Moshkov ⋅ Alexan Ayrapetyan ⋅ Sadegh Mahdavi ⋅ Dan Zhao ⋅ Shizhe Diao ⋅ Dragan Mašulović ⋅ Advaith Avadhanam ⋅ Max Wang ⋅ Shitij Govil ⋅ Sri Yanamandra ⋅ Mihir Tandon ⋅ Sriram Ananthakrishnan ⋅ Vedant Rathi ⋅ David Zhang ⋅ Joonseok Kang ⋅ Leon Luo ⋅ Titu Andreescu ⋅ Ashmit Dutta ⋅ Boris Ginsburg ⋅ Igor Gitman
Token Hidden Reward: Steering Exploration-Exploitation in GRPO Training
wenlong deng ⋅ YI REN ⋅ Danica J Sutherland ⋅ Christos Thrampoulidis ⋅ Xiaoxiao Li
Boosting LLM Reasoning via Spontaneous Self-Correction
Xutong Zhao ⋅ Tengyu Xu ⋅ Xuewei Wang ⋅ Zhengxing Chen ⋅ Di Jin ⋅ Liang Tan ⋅ Yen-Ting Lin ⋅ Zishun Yu ⋅ Zhuokai Zhao ⋅ Yun He ⋅ Sinong Wang ⋅ Han Fang ⋅ Sarath Chandar ⋅ Chen Zhu
COAST: Intelligent Time-Adaptive Neural Operators
Zhikai Wu ⋅ Shiyang Zhang ⋅ Sizhuang He ⋅ Sifan Wang ⋅ Min Zhu ⋅ Anran Jiao ⋅ Lu Lu ⋅ David van Dijk
OctoThinker: Mid-Training Incentivizes Reinforcement Learning Scaling
Zengzhi Wang ⋅ Fan Zhou ⋅ Xuefeng Li ⋅ Pengfei Liu
The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning
Xinyu Zhu ⋅ Mengzhou Xia ⋅ Zhepei Wei ⋅ Wei-Lin Chen ⋅ Danqi Chen ⋅ Yu Meng
Solving Inequality Proofs with Large Language Models
Jiayi Sheng ⋅ Luna Lyu ⋅ Jikai Jin ⋅ Tony Xia ⋅ Alex Gu ⋅ James Zou ⋅ Pan Lu
Simple, Scalable Reasoning via Iterated Summarization
Vivek Vajipey ⋅ Aditya Tadimeti ⋅ Justin Shen ⋅ Ben Prystawski ⋅ Michael Li ⋅ Noah Goodman
Landscape of Thoughts: Visualizing the Reasoning Process of Large Language Models
Zhanke Zhou ⋅ Zhaocheng Zhu ⋅ Xuan Li ⋅ Mikhail Galkin ⋅ Xiao Feng ⋅ Sanmi Koyejo ⋅ Jian Tang ⋅ Bo Han
On the Effect of Negative Gradient in Group Relative Deep Reinforcement Optimization
wenlong deng ⋅ YI REN ⋅ Muchen Li ⋅ Danica J Sutherland ⋅ Xiaoxiao Li ⋅ Christos Thrampoulidis
Instilling Parallel Reasoning into Language Models
Matthew Macfarlane ⋅ Minseon Kim ⋅ Nebojsa Jojic ⋅ Weijia Xu ⋅ Lucas Caccia ⋅ Xingdi Yuan ⋅ Wanru Zhao ⋅ Zhengyan Shi ⋅ Alessandro Sordoni
Majority of the Bests: Improving Best-of-N via Bootstrapping
Amin Rakhsha ⋅ Tianyu Zhang ⋅ Kanika Madan ⋅ Amir-massoud Farahmand ⋅ Amir Khasahmadi
Target-Based Automated Conjecturing for Neural Theorem Proving
Marco Dos Santos ⋅ Albert Jiang ⋅ Wenda Li ⋅ Mateja Jamnik
Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving
Tim Knappe ⋅ Vincent Li ⋅ Yule Fu ⋅ Kevin Han ⋅ Kevin Zhu
SPEED-RL: Faster Training of Reasoning Models via Online Curriculum Learning
Ruiqi Zhang ⋅ Daman Arora ⋅ Song Mei ⋅ Andrea Zanette
Training Language Models to Reason Efficiently
Daman Arora ⋅ Andrea Zanette
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
Jasper Dekoninck ⋅ Ivo Petrov ⋅ Kristian Minchev ⋅ Miroslav Marinov ⋅ Maria Drencheva ⋅ Lyuba Konova ⋅ Milen Shumanov ⋅ Kaloyan Tsvetkov ⋅ Nikolay Drenchev ⋅ Lazar Todorov ⋅ Kalina Nikolova ⋅ Nikolay Georgiev ⋅ Vanesa Kalinkova ⋅ Margulan Ismoldayev ⋅ Mislav Balunovic ⋅ Martin Vechev
KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
Jiyao Zhang ⋅ Chengli Zhong ⋅ Hui Xu ⋅ Qige Li ⋅ Jiajia Tian ⋅ Yi Zhou
Let’s Try Again: Eliciting Multi-Turn Reasoning in Language Models via Simplistic Feedback
Licheng Liu ⋅ Zihan Wang ⋅ Linjie Li ⋅ Chenwei Xu ⋅ Yiping Lu ⋅ Han Liu ⋅ Avirup Sil ⋅ Manling Li
EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
Haotian Zhai ⋅ Connor Lawless ⋅ Ellen Vitercik ⋅ Liu Leqi
MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem
Fan Liu ⋅ Zhe-Rui Yang ⋅ Cancheng Liu ⋅ Tianrui Song ⋅ Xiaofeng Gao ⋅ Hao Liu
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
Yousef Alhessi ⋅ Sólrún Einarsdóttir ⋅ George Granberry ⋅ Emily First ⋅ Moa Johansson ⋅ Sorin Lerner ⋅ Nicholas Smallbone
Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
Yicheng Tao ⋅ Haotian Liu ⋅ Shanwen Wang ⋅ Hongteng Xu
Scaling Mathematical Reasoning through Data, Tools, and Generative Selection
Ivan Moshkov ⋅ Darragh Hanley ⋅ Ivan Sorokin ⋅ Shubham Toshniwal ⋅ Christof Henkel ⋅ Benedikt Schifferer ⋅ Wei Du ⋅ Igor Gitman
CoDaPO: Confidence and Difficulty-Adaptive Policy Optimization for Post-Training Language Models
Zhanke Zhou ⋅ Xiangyu Lu ⋅ Chentao Cao ⋅ Brando Miranda ⋅ Tongliang Liu ⋅ Bo Han ⋅ Sanmi Koyejo
Vision Language Models are Biased: Counting legs of an animal is surprisingly hard
An Vo ⋅ Khai-Nguyen Nguyen ⋅ Mohammad Reza Taesiri ⋅ Vy Dang ⋅ Anh Nguyen ⋅ Daeyoung Kim
LeanTutor: A Lean-Verified Tutor for Mathematical Proofs
Manooshree Patel ⋅ Rayna Bhattacharyya ⋅ Thomas Lu ⋅ Arnav Mehta ⋅ Niels Voss ⋅ Narges Norouzi ⋅ Gireeja Ranade
Which Data Attributes Stimulate Math and Code Reasoning? An Investigation via Influence Functions
Siqi Kou ⋅ Qingyuan Tian ⋅ Hanwen Xu ⋅ Zihao Zeng ⋅ Zhijie Deng
ProofCompass: Enhancing Specialized Provers with LLM Guidance
Nicolas Wischermann ⋅ Claudio Mayrink Verdun ⋅ Gabriel Poesia ⋅ Francesco Noseda
Done Is Better than Perfect: Unlocking Efficient Reasoning by Structured Multi-Turn Decomposition
Zihao Zeng ⋅ Xuyao Huang ⋅ Boxiu Li ⋅ Hao Zhang ⋅ Zhijie Deng
Machine Learning and LLM-Boost Symbolic Regression for Predicting $\mathbb{Q}$-Gonality of Modular Curves
Xu Zhuang ⋅ Yuxiang Yao ⋅ Po-Chu Hsu ⋅ Xiaokang Wang ⋅ Peikai Qi
Graph Neural Networks for Tensor Product Decompositions of Lie Algebra Representations
Max Vargas ⋅ Helen Jenne ⋅ Davis Brown ⋅ Henry Kvinge
Learning to Solve Complex Problems via Dataset Decomposition
Wanru Zhao ⋅ Lucas Caccia ⋅ Zhengyan Shi ⋅ Minseon Kim ⋅ Xingdi Yuan ⋅ Weijia Xu ⋅ Marc-Alexandre Côté ⋅ Alessandro Sordoni
DeduCE: Deductive Consistency as a Framework to Evaluate LLM Reasoning
Atharva Pandey ⋅ Kshitij Dubey ⋅ Rahul Sharma ⋅ Amit Sharma
Boolformer: Symbolic Regression of Logic Functions with Transformers
Stéphane d'Ascoli ⋅ Arthur Renard ⋅ Emmanuel Abbe ⋅ Vassilis Papadopoulos ⋅ Samy Bengio ⋅ Joshua M Susskind
Spectral Policy Optimization: Coloring your Incorrect Reasoning in GRPO
Chen ⋅ Xiaopeng Li ⋅ Ziniu Li ⋅ Xi Chen ⋅ Tianyi Lin
Reward Under Attack: Evaluating the Sensitivity of Process Reward Models
Udbhav Bamba ⋅ Rishabh Tiwari ⋅ Heng Yang ⋅ Kurt Keutzer ⋅ Amir Gholaminejad
NoisyRollout: Reinforcing Visual Reasoning with Data Augmentation
Xiangyan Liu ⋅ Jinjie Ni ⋅ Zijian Wu ⋅ Chao Du ⋅ Longxu Dou ⋅ Haonan Wang ⋅ Tianyu Pang ⋅ Michael Shieh
Enhancing Graph Neural Network for Boolean Satisfiability Solving via Data Augmentation
Yi Fu ⋅ Anthony Tompkins ⋅ Yang Song ⋅ Maurice Pagnucco
Learning to Reason without External Rewards
Xuandong Zhao ⋅ Zhewei Kang ⋅ Aosong Feng ⋅ Sergey Levine ⋅ Dawn Song
Do Not Let Low-Probability Tokens Over-Dominate in RL for LLMs
Zhihe Yang ⋅ Xufang Luo ⋅ Zilong Wang ⋅ Dongqi Han ⋅ Zhiyuan He ⋅ Dongsheng Li ⋅ Yunjian Xu
Optimal Sparsity of Mixture-of-Experts Language Models for Reasoning Tasks
Taishi Nakamura ⋅ Satoki Ishikawa ⋅ Masaki Kawamura ⋅ Takumi Okamoto ⋅ Daisuke Nohara ⋅ Jun Suzuki ⋅ Rio Yokota
Beyond Accuracy: A Policy Gradient Reweighting Approach for Pass@K Maximization in LLMs
Sadegh Mahdavi ⋅ Muchen Li ⋅ Kaiwen Liu ⋅ Renjie Liao ⋅ Christos Thrampoulidis
Discrete Feynman-Kac Correctors
Mohsin Hasan ⋅ Marta Skreta ⋅ Alan Aspuru-Guzik ⋅ Yoshua Bengio ⋅ Kirill Neklyudov
A Comprehensive Evaluation of Contemporary Machine-Learning-Based Solvers for CO
Shengyu Feng ⋅ Weiwei Sun ⋅ Shanda Li ⋅ Ameet Talwalkar ⋅ Yiming Yang
How Is LLM Reasoning Distracted by Irrelevant Context? An Analysis Using a Controlled Benchmark
Minglai Yang ⋅ Ethan Huang ⋅ Liang Zhang ⋅ Mihai Surdeanu ⋅ William Wang ⋅ Liangming Pan
Towards Geometry Problem Solving in the Large Model Era: A Survey
Yurui Zhao ⋅ Xiang Wang ⋅ Jiahong Liu ⋅ Irwin King ⋅ Zhitao Huang
Omni-Think: Scaling Multi-Task Learning in LLMs via Reinforcement Learning
Derek Li ⋅ Jiaming Zhou ⋅ Amirreza Kazemi ⋅ Qianyi Sun ⋅ Abbas Ghaddar ⋅ Liheng Ma ⋅ Yu Luo ⋅ Dong Li ⋅ Jianye Hao ⋅ Yingxue Zhang
GenSelect: A Generative Approach to Best-of-N
Shubham Toshniwal ⋅ Ivan Sorokin ⋅ Aleksander Ficek ⋅ Ivan Moshkov ⋅ Igor Gitman
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu ⋅ Tao Zhu ⋅ Xiaoyang LIU ⋅ Yu Chen ⋅ Liu ZhaoXuan ⋅ Guo qingfeng ⋅ Jiashuo Zhang ⋅ Kangjie Bao ⋅ Tao Luo
FMC: Formalization of Natural Language Mathematical Competition Problems
Jiaxuan Xie ⋅ Chengwu Liu ⋅ Ye Yuan ⋅ Siqi Li ⋅ Zhiping Xiao ⋅ Ming Zhang
A Compute-Matched Re-Evaluation of TroVE on MATH
Tobias Sesterhenn ⋅ Ian Berlot-Attwell ⋅ Janis Zenkner ⋅ Christian Bartelt
Lean Finder: Semantic Search for Mathlib That Understands User Intents
Jialin Lu ⋅ Kye Emond ⋅ Weiran Sun ⋅ Wuyang Chen
RL‑QESA: Reinforcement‑Learning Quasi‑Equilibrium Simulated Annealing
Ruichen Xu ⋅ Kai Li ⋅ Haochun Wang ⋅ Georgios Kementzidis ⋅ Wei Zhu ⋅ Yuefan Deng
Verina: Benchmarking Verifiable Code Generation
Zhe Ye ⋅ Zhengxu Yan ⋅ Jingxuan He ⋅ Timothe Kasriel ⋅ Kaiyu Yang ⋅ Dawn Song
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Ivo Petrov ⋅ Jasper Dekoninck ⋅ Lyuben Baltadzhiev ⋅ Maria Drencheva ⋅ Kristian Minchev ⋅ Mislav Balunovic ⋅ Nikola Jovanović ⋅ Martin Vechev
Physics-Constrained Symbolic Regression from Imagery
Zhenyu Yu ⋅ MOHD IDRIS ⋅ Pei Wang
Small Models Struggle to Learn from Strong Reasoners
Yuetai Li ⋅ Xiang Yue ⋅ Zhangchen Xu ⋅ Fengqing Jiang ⋅ Luyao Niu ⋅ Yuchen Lin ⋅ Bhaskar Ramasubramanian ⋅ Radha Poovendran
Value-Guided Search for Efficient Chain-of-Thought Reasoning
Kaiwen Wang ⋅ Jin Zhou ⋅ Jonathan Chang ⋅ Zhaolin Gao ⋅ Nathan Kallus ⋅ Kianté Brantley ⋅ Wen Sun
Temporal Sampling for Forgotten Reasoning in LLMs
Yuetai Li ⋅ Zhangchen Xu ⋅ Fengqing Jiang ⋅ Bhaskar Ramasubramanian ⋅ Luyao Niu ⋅ Yuchen Lin ⋅ Xiang Yue ⋅ Radha Poovendran
README: Rapid Equation Discovery with Multimodal Encoders
Gregory Kang Ruey Lau ⋅ Yue Kang ⋅ Zi-Yu Khoo ⋅ Apivich Hemachandra ⋅ Ruth Wan Theng Chew ⋅ Bryan Kian Hsiang Low
Learning Moderately Input-Sensitive Functions: A Case Study in QR Code Decoding
Kazuki Yoda ⋅ Kazuhiko Kawamoto ⋅ Hiroshi Kera