4 papers
Radio Monitoring of Classical Novae using the ASKAP Variable and Slow Transients Survey
Aishani Majumder, David L. Kaplan, Laura N. Driessen +3
We present a search for radio emission from classical novae at 887.5 MHz using data from the Australian SKA Pathfinder Variable And Slow Transient (VAST) survey. We cross-matched 4…
Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning
Haizhou Xia
Post-hoc repair of LLM mathematical reasoning introduces an asymmetric risk: fixing an incorrect reasoning trace is useful, but replacing a trace that was already correct can be ha…
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Hai Xia, Carla P. Gomes, Bart Selman +1
We study mathematical discovery through the lens of neurosymbolic reasoning, where an AI agent powered by a large language model (LLM), coupled with symbolic computation tools, and…
Smart Cubing for Graph Search: A Comparative Study
Markus Kirchweger, Hai Xia, Tomáš Peitl +1
Parallel solving via cube-and-conquer is a key method for scaling SAT solvers to hard instances. While cube-and-conquer has proven successful for pure SAT problems, notably the Pyt…