Skip to content

Commit 95ffa50

Browse files
docs: add math discovery paper (#1156)
* docs: add mathematical discovery paper to papers.yml Co-authored-by: Daattavya Aggarwal <25098883+daattavya98@users.noreply.github.com> * chore(docs): remove topology_figure.png * chore(docs): point paper image to hosted URL --------- Co-authored-by: MilesCranmerBot <milescranmerbot@users.noreply.github.com> Co-authored-by: Daattavya Aggarwal <25098883+daattavya98@users.noreply.github.com>
1 parent 2f10a38 commit 95ffa50

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

docs/papers.yml

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,18 @@
22
# information to generate the "Research Showcase"
33

44
papers:
5+
- title: Discovering mathematical concepts through a multi-agent system
6+
authors:
7+
- Daattavya Aggarwal (1)
8+
- Oisin Kim (1)
9+
- Carl Henrik Ek (1)
10+
- Challenger Mishra (1)
11+
affiliations:
12+
1: Department of Computer Science & Technology, University of Cambridge
13+
link: https://arxiv.org/abs/2603.04528
14+
abstract: "Mathematical concepts emerge through an interplay of processes, including experimentation, efforts at proof, and counterexamples. In this paper, we present a new multi-agent model for computational mathematical discovery based on this observation. Our system, conceived with research in mind, poses its own conjectures and then attempts to prove them, making decisions informed by this feedback and an evolving data distribution. Inspired by the history of Euler's conjecture for polyhedra and an open challenge in the literature, we benchmark with the task of autonomously recovering the concept of homology from polyhedral data and knowledge of linear algebra. Our system completes this learning problem. Most importantly, the experiments are ablations, statistically testing the value of the complete dynamic and controlling for experimental setup. They support our main claim: that the optimisation of the right combination of local processes can lead to surprisingly well-aligned notions of mathematical interestingness."
15+
image: https://raw.githubusercontent.com/MilesCranmer/PySR_Docs/cdb95956495a5f2f92b83ec968bc3fca0a71a689/images/conjecturing_agent.png
16+
date: 2026-03-04
517
- title: Learning Microstructure in Active Matter
618
authors:
719
- Writu Dasgupta (1)

0 commit comments

Comments
 (0)