Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jasper Dekoninck
Map detail
Jasper Dekoninck13 visible / 13 total nodes / 54 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onAuthorshipWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJasper DekoninckAJasper DekoninckResearcherBeyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMsWBeyond Benchmarks: Math...preprint / 2026Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond CorrectnessWNot All Proofs Are Equa...preprint / 2026Ivo PetrovAIvo PetrovResearcherDimitar I. DimitrovADimitar I. DimitrovResearcherKári RögnvaldssonAKári RögnvaldssonResearcherChenhao SunAChenhao SunResearcherMartin VechevAMartin VechevResearcherNikola JovanovićANikola JovanovićResearcherTim GehrungerATim GehrungerResearcherComputation and LanguageTComputation and Language14115 worksThe Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsWThe Open Proof Corpus: ...preprint / 2026MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsWMathArena: Evaluating L...preprint / 2026
Person12 links

Jasper Dekoninck

Researcher