Cover Image

Participation in First Proof Challenge by Zetesis Labs leveraging our work on formal Epistemology for Proof Discovery

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Gupta, Dhruv
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

First Proof
by: Abouzaid, Mohammed, et al.
Published: (2026)

Balancing Participation and Decentralization in Proof-of-Stake Cryptocurrencies
by: Kiayias, Aggelos, et al.
Published: (2024)

Proof-of-work consensus by quantum sampling
by: Singh, Deepesh, et al.
Published: (2023)

A First Proof Sprint
by: Corneli, Joseph
Published: (2026)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

Aletheia tackles FirstProof autonomously
by: Feng, Tony, et al.
Published: (2026)

FedPoP: Federated Learning Meets Proof of Participation
by: İşler, Devriş, et al.
Published: (2025)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
by: Kovács, Zoltán, et al.
Published: (2024)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

All Proof of Work But No Proof of Play
by: Tirmazi, Hayder
Published: (2025)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Symmetric Proofs in the Ideal Proof System
by: Dawar, Anuj, et al.
Published: (2025)

The Law of Coherence: Discovery and Proof of a Universal Endurance Principle
by: Aaron Cole Nailer
Published: (2025)

The Interaction Bottleneck of Deep Neural Networks: Discovery, Proof, and Modulation
by: Deng, Huiqi, et al.
Published: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
by: Kondylidou, Lydia, et al.
Published: (2026)

MathConstruct: Challenging LLM Reasoning with Constructive Proofs
by: Balunović, Mislav, et al.
Published: (2025)

Proof of Concept as a First-Class Architectural Decision Instrument
by: Antognolli, Bruno Fernando, et al.
Published: (2026)

Privacy-Preserving Federated Learning: Integrating Zero-Knowledge Proofs in Scalable Distributed Architectures
by: Gupta, Divya
Published: (2026)

Mathematical Proof
by: Bauschke, Heinz H.
Published: (2026)

Proofs of No Intrusion
by: Goyal, Vipul, et al.
Published: (2025)

Proof of Response
by: Polosukhin, Illia, et al.
Published: (2025)

Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
by: Hattori, Seiji, et al.
Published: (2025)

Enhanced Semantic Segmentation Pipeline for WeatherProof Dataset Challenge
by: Zhang, Nan, et al.
Published: (2024)

Path Dependence in AMM-Based Markets: Mathematical Proof and Implications for Truth Discovery
by: Pillay, Keroshan
Published: (2025)

Social Proof is in the Pudding: The (Non)-Impact of Social Proof on Software Downloads
by: Shen, Lucas, et al.
Published: (2026)

Proof-RM: A Scalable and Generalizable Reward Model for Math Proof
by: Yang, Haotong, et al.
Published: (2026)

Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
by: Petrov, Ivo, et al.
Published: (2026)

PoLO: Proof-of-Learning and Proof-of-Ownership at Once with Chained Watermarking
by: Deng, Haiyu, et al.
Published: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
by: Cabral, Rafael, et al.
Published: (2025)

A Proof of the Artin Conjecture from the First Principles of Organized Complexity.
by: Okolo, Hanyelichukwu Paul
Published: (2025)

A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks
by: Bayen, Alexandre M., et al.
Published: (2022)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
by: Feng, Nick, et al.
Published: (2024)

Two-center harmonic oscillator basis for Skyrme-DFT calculations (I): formalism and Proof of Principle
by: Sánchez-Fernández, Adrián, et al.
Published: (2024)

Adaptive, Efficient and Fair Resource Allocation in Cloud Datacenters leveraging Weighted A3C Deep Reinforcement Learning
by: Kumari, Suchi, et al.
Published: (2025)

Proof of Intent Consensus
by: Andrews, Ronald Jason
Published: (2026)

A Proof of 2
by: Weber, Robert
Published: (2026)

On Proof Systems for #QBF
by: Chede, Sravanthi, et al.
Published: (2026)