Graph explorer

Jasper Dekoninck

Jasper Dekoninck contributes to research discovery and scholarly infrastructure.

13 nodes54 linksoverview previewJasper Dekoninck
13 nodes54 links
Jasper Dekoninck13 visible / 13 total nodes / 54 links
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 signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJasper DekoninckResearcherWBeyond Benchmarks: Math...preprint / 2026WNot All Proofs Are Equa...preprint / 2026AIvo PetrovResearcherADimitar I. DimitrovResearcherAKári RögnvaldssonResearcherAChenhao SunResearcherAMartin VechevResearcherANikola JovanovićResearcherATim GehrungerResearcherTComputation and Language14115 worksWThe Open Proof Corpus: ...preprint / 2026WMathArena: Evaluating L...preprint / 2026
PersonSignal 1012 links

Jasper Dekoninck

Researcher

Open