ENTITY miniF2F-Rocq

miniF2F-Rocq

PulseAugur coverage of miniF2F-Rocq — every cluster mentioning miniF2F-Rocq across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_273175 · Oct 1 · 04:00

AI systems advance automated theorem proving and mathematical discovery · 2 sources tracked

Two new research papers introduce advanced AI systems for automated theorem proving and mathematical discovery. The first paper details an evolutionary method to design interfaces for AI agents interacting with proof as…