Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
DineshAI
/
JnuwpwbZ8D
like
0
Running
App
Files
Files
Community
main
JnuwpwbZ8D
/
repro
/
tests
13.9 kB
Ctrl+K
Ctrl+K
1 contributor
History:
7 commits
DineshAI
Add exact C1 and C4 boundary falsifications
82a7dc6
verified
about 22 hours ago
test_claim1_proof.py
Safe
702 Bytes
Publish proof-certificate reproduction evidence
10 days ago
test_claims2_6_counterexamples.py
Safe
1.72 kB
Add exact C1 and C4 boundary falsifications
about 22 hours ago
test_claims2_6_proofs.py
Safe
1.21 kB
Publish proof-certificate reproduction evidence
10 days ago
test_evaluator_visibility.py
Safe
3.46 kB
Add exact C1 and C4 boundary falsifications
about 22 hours ago
test_hyperparameters.py
Safe
1.39 kB
Publish proof-certificate reproduction evidence
10 days ago
test_log_boundary_counterexamples.py
Safe
1.34 kB
Add exact C1 and C4 boundary falsifications
about 22 hours ago
test_theorem_signatures.py
Safe
1.74 kB
Replace toy checks with evaluator-credited theorem protocols
8 days ago
test_universal_theorem_chains.py
Safe
2.37 kB
Add exact C1 and C4 boundary falsifications
about 22 hours ago
