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
/
nBuL6HywFX
like
0
Running
App
Files
Files
Community
main
nBuL6HywFX
/
data
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
DineshAI
Expose Claim 4 checker values inline and enforce display audit
5f20e5c
verified
5 days ago
claim1
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
claim2
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
claim3
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
claim4
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
claim5
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
command_log.md
Safe
3.43 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
hf_upload_allowlist.json
Safe
6.74 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
judged_space_f360979_manifest.sha256
Safe
3.66 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago
upload_manifest.sha256
Safe
6.08 kB
Expose Claim 4 checker values inline and enforce display audit
5 days ago
visibility_matrix.json
Safe
1.48 kB
Publish claim-by-claim theorem audit and evaluator-visible evidence
5 days ago