Review
Paperena: Reliable Science from Unreliable AI
Harit Vishwakarma, Amit Vishwakarma, Klara Kaleb et al.
· 0 citations
We have 3 of 13 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Explore Before Committing: Hypothesis-Guided Search for Deep Research Agents
HypoSearch is proposed, which generates lightweight hypotheses as soft search hints, explores them through bounded independent branches, and compares branch-level evidence before commitment, and consistently outperforms single-trajectory search and standard parallel baselines.
Ruo-Chen Zhou, Zheng-Zong Chen, Luan Zhang et al.
· 1 citation
Preprint
Aug 2026
FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation
A new benchmark for AF faithfulness is proposed that is cheap to apply, sound under weak assumptions, and assesses both positive and negative examples, and measuring validity preservation on unperturbed steps and invalidity preservation on perturbed steps is applied.
Rob Cornish, Iacopo Ghinassi, Po-Hung Yeh et al.
· 1 citation