CamiloS1111
/

ragsolver

theorem-proving

Model card Files Files and versions

ragsolver / docs /interfaces

41 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

CamiloS1111's picture

Upload folder using huggingface_hub

ee54756 verified 10 days ago

BaselineAOutput.schema.json

586 Bytes
Upload folder using huggingface_hub 10 days ago
BaselineBOutput.schema.json

460 Bytes
Upload folder using huggingface_hub 10 days ago
ChunkBase.schema.json

1.35 kB
Upload folder using huggingface_hub 10 days ago
Citation.schema.json

2.98 kB
Upload folder using huggingface_hub 10 days ago
CriticOutput.schema.json

748 Bytes
Upload folder using huggingface_hub 10 days ago
Document.schema.json

2.18 kB
Upload folder using huggingface_hub 10 days ago
Figure.schema.json

2.19 kB
Upload folder using huggingface_hub 10 days ago
FormalizerOutput.schema.json

292 Bytes
Upload folder using huggingface_hub 10 days ago
GeneratorOutput.schema.json

317 Bytes
Upload folder using huggingface_hub 10 days ago
InformalChunk.schema.json

4.09 kB
Upload folder using huggingface_hub 10 days ago
MathlibChunk.schema.json

2.83 kB
Upload folder using huggingface_hub 10 days ago
PlannerOutput.schema.json

1.19 kB
Upload folder using huggingface_hub 10 days ago
Problem.schema.json

1.11 kB
Upload folder using huggingface_hub 10 days ago
RetrievalRequest.schema.json

2.87 kB
Upload folder using huggingface_hub 10 days ago
RetrievalResult.schema.json

6.09 kB
Upload folder using huggingface_hub 10 days ago
SolutionReport.schema.json

7.21 kB
Upload folder using huggingface_hub 10 days ago
TraceEvent.schema.json

3.56 kB
Upload folder using huggingface_hub 10 days ago
Verdict.schema.json

961 Bytes
Upload folder using huggingface_hub 10 days ago