2 citations · 2 across the 7 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.RO2024
Reinforcement Learning Within the Classical Robotics Stack: A Case Study in Robot Soccer
Adam Labiosa, Zhihan Wang, Siddhant Agarwal +10
Robot decision-making in partially observable, real-time, dynamic, and multi-agent environments remains a difficult and unsolved challenge. Model-free reinforcement learning (RL) i…
cs.CC2024
Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
Jiawei Li, Yuhao Li, Hanlin Ren
We study the *refuter* problems for proof complexity lower bounds. Suppose is a hard tautology that does not admit any length- proof in some proof system . In the corresp…
cond-mat.dis-nn2024★ 2 cited
Spin glass model of in-context learning
Yuhao Li, Ruoran Bai, Haiping Huang
Large language models show a surprising in-context learning ability -- being able to use a prompt to form a prediction for a query, yet without additional training, in stark contra…