Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
ZAIDX11
/
Axiovora-X
like
1
Model card
Files
Files and versions
xet
Community
main
Axiovora-X
/
backend
/
core
Ctrl+K
Ctrl+K
1 contributor
History:
324 commits
ZAIDX11
Add files using upload-large-folder tool
3a9fa19
verified
5 months ago
.rustup
Add files using upload-large-folder tool
5 months ago
Coq-Platform~8.19~2024.10
Add files using upload-large-folder tool
5 months ago
ag4masses
Add files using upload-large-folder tool
5 months ago
alphageometry
Add files using upload-large-folder tool
5 months ago
leanprover--lean4---v4.22.0
Add files using upload-large-folder tool
5 months ago
alphageometry_adapter.py
Safe
4.61 kB
Add files using upload-large-folder tool
5 months ago
alphageometry_runner.py
0 Bytes
Add files using upload-large-folder tool
5 months ago
captum.py
Safe
708 Bytes
Add files using upload-large-folder tool
5 months ago
coq_adapter.py
Safe
640 Bytes
Add files using upload-large-folder tool
5 months ago
cross_universe_analysis.py
Safe
26.1 kB
Add files using upload-large-folder tool
5 months ago
ddar.py
Safe
642 Bytes
Add files using upload-large-folder tool
5 months ago
graph.py
Safe
581 Bytes
Add files using upload-large-folder tool
5 months ago
lean_adapter.py
Safe
649 Bytes
Add files using upload-large-folder tool
5 months ago
logging_config.py
Safe
12.8 kB
Add files using upload-large-folder tool
5 months ago
neuro_symbolic.py
Safe
23.1 kB
Add files using upload-large-folder tool
5 months ago
problem.py
Safe
792 Bytes
Add files using upload-large-folder tool
5 months ago
quantum_search.py
Safe
20.9 kB
Add files using upload-large-folder tool
5 months ago
test_theorem_engine.py
Safe
657 Bytes
Add files using upload-large-folder tool
5 months ago
theorem_engine.py
Safe
38.4 kB
Add files using upload-large-folder tool
5 months ago
theorem_engine.py.bak
Safe
35.3 kB
Add files using upload-large-folder tool
5 months ago
trace_back.py
Safe
15.8 kB
Add files using upload-large-folder tool
5 months ago
trace_back_test.py
Safe
11.2 kB
Add files using upload-large-folder tool
5 months ago
transformer_layer.py
Safe
26.5 kB
Add files using upload-large-folder tool
5 months ago
universe_generator.py
Safe
6.08 kB
Add files using upload-large-folder tool
5 months ago
vector_store.py
Safe
13 kB
Add files using upload-large-folder tool
5 months ago
