4 papers
Auto-Configuring Scientific Simulators with Lightweight Coding-Agent Adapters
Matthew Ho, Brian Liu, Jixuan Chen +2
Configuring an advanced scientific simulator, translating a modeling goal into a valid, runnable input deck, is a persistent bottleneck that costs domain scientists hours to days.…
ArcMemo: Abstract Reasoning Composition with Lifelong LLM Memory
Matthew Ho, Chen Si, Zhaoxiang Feng +5
While inference-time scaling enables LLMs to carry out increasingly long and capable reasoning traces, the patterns and insights uncovered during these traces are immediately disca…
Reconstructing Galaxy Cluster Mass Maps using Score-based Generative Modeling
Alan Hsu, Matthew Ho, Joyce Lin +4
We present a novel approach to reconstruct gas and dark matter projected density maps of galaxy clusters using score-based generative modeling. Our diffusion model takes in mock SZ…
Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning
Matthew Ho, Vincent Zhu, Xiaoyin Chen +3
Reasoning is a fundamental substrate for solving novel and complex problems. Deliberate efforts in learning and developing frameworks around System 2 reasoning have made great stri…