Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion calculussolver
Submodule calculussolver updated 56 files
+1 −318 .gitignore
+1 −4 .gitmodules
+67 −82 README.md
+1 −0 api/.gitkeep
+0 −96 api/USAGE.md
+0 −0 api/__init__.py
+0 −161 api/app.py
+0 −59 api/format_slang_expression.js
+0 −36 api/models.py
+0 −0 api/routes/__init__.py
+0 −102 api/routes/solve.py
+0 −53 api/routes/validate.py
+0 −43 api/validate_slang.js
+0 −6 data_pipeline/generate_slang_data.js
+0 −305 data_pipeline/generate_synthetic.js
+0 −223 data_pipeline/latex_to_slang.js
+0 −142 data_pipeline/split.py
+2 −1 data_pipeline/split_data.js
+0 −25 data_pipeline/verify_with_slang.js
+0 −1 docs/GUIDE.md
+0 −129 docs/RUNTIME_AUDIT.md
+0 −35 inference/CalculusSolver.js
+1 −9 inference/__init__.py
+0 −212 inference/beam_search.py
+0 −285 inference/fallback_solver.py
+59 −209 inference/inference_engine.py
+0 −30 inference/serialize_input.js
+0 −201 inference/solve.py
+0 −195 inference/validity_worker.js
+0 −182 inference/verifier.js
+0 −60 inference/verifier.py
+0 −13 model/__init__.py
+0 −76 model/architecture.py
+0 −34 model/rule_head.py
+0 −32 model/step_tracer.py
+0 −67 model/tree_decoder.py
+0 −134 model/tree_encoder.py
+0 −3 package.json
+1 −3 requirements.txt
+0 −16 scripts/create_placeholder_checkpoint.py
+0 −1 slang
+0 −534 streamlit_app.py
+0 −93 tests/test_api.py
+1 −0 tokenizer/.gitkeep
+0 −2 tokenizer/__init__.py
+0 −122 tokenizer/build_vocab.py
+0 −107 tokenizer/positional_encoding.py
+0 −308 tokenizer/slang_serializer.js
+0 −16 training/config/finetune.yaml
+0 −17 training/config/pretrain.yaml
+0 −241 training/finetune.py
+70 −145 training/model_trainer.py
+0 −209 training/pretrain.py
+0 −260 training/training_utils.py
+0 −355 training/verifier_loop.py
+1 −1 website
2 changes: 1 addition & 1 deletion frontend
Submodule frontend updated 56 files
+0 −2 .env
+0 −1 .env.example
+0 −40 .gitignore
+0 −95 docs/ARCHITECTURE.md
+0 −71 docs/COMPONENTS_AND_PAGES.md
+0 −91 docs/DEVELOPMENT_WORKFLOW.md
+0 −77 docs/README.md
+0 −85 docs/STATE_ROUTING_AND_UI.md
+17 −0 package-lock.json
+ public/favicon.png
+30 −33 public/index.html
+6 −1 public/manifest.json
+17 −64 src/App.js
+2,872 −0 src/book/Ch 14.html
+1,418 −0 src/book/Ch 16.html
+0 −25 src/components/BookmarkButton.css
+0 −34 src/components/BookmarkButton.jsx
+5 −35 src/components/Footer.jsx
+3 −116 src/components/Header.jsx
+9 −34 src/components/Layout.jsx
+0 −45 src/components/Math.jsx
+0 −70 src/components/SectionCompleteBar.css
+0 −48 src/components/SectionCompleteBar.jsx
+0 −92 src/context/AuthContext.js
+0 −172 src/context/ProgressContext.js
+4 −1,510 src/index.css
+0 −178 src/pages/AISolver.css
+0 −103 src/pages/AISolver.jsx
+0 −136 src/pages/Auth.css
+0 −291 src/pages/ConceptExplore.css
+0 −442 src/pages/ConceptExplore.jsx
+243 −385 src/pages/ContinuityFinder.jsx
+0 −519 src/pages/Dashboard.css
+0 −363 src/pages/Dashboard.jsx
+6 −803 src/pages/ExtremeValueFinder.jsx
+0 −50 src/pages/GuidePart.css
+1,261 −273 src/pages/Home.jsx
+0 −42 src/pages/IntegralsPart1.jsx
+0 −40 src/pages/IntegralsPart2.jsx
+0 −399 src/pages/LimitsGuide.jsx
+0 −40 src/pages/LimitsPart1.jsx
+0 −40 src/pages/LimitsPart2.jsx
+0 −83 src/pages/Login.jsx
+0 −475 src/pages/MultipleIntegralsGuide.jsx
+0 −649 src/pages/PartialDerivativesGuide.css
+0 −3,533 src/pages/PartialDerivativesGuide.jsx
+0 −38 src/pages/PartialPart1.jsx
+0 −38 src/pages/PartialPart2.jsx
+0 −106 src/pages/Signup.jsx
+0 −250 src/pages/SimpleConcepts.css
+0 −310 src/pages/SimpleConcepts.jsx
+0 −467 src/pages/StudyGuideShell.jsx
+0 −34 src/pages/VectorCalculusGuide.jsx
+0 −38 src/pages/VectorPart1.jsx
+0 −38 src/pages/VectorPart2.jsx
+12 −198 src/pages/VolumeCalculator.jsx
16 changes: 16 additions & 0 deletions node_modules/.bin/katex

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

17 changes: 17 additions & 0 deletions node_modules/.bin/katex.cmd

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

28 changes: 28 additions & 0 deletions node_modules/.bin/katex.ps1

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

16 changes: 16 additions & 0 deletions node_modules/.bin/loose-envify

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

17 changes: 17 additions & 0 deletions node_modules/.bin/loose-envify.cmd

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

28 changes: 28 additions & 0 deletions node_modules/.bin/loose-envify.ps1

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

120 changes: 120 additions & 0 deletions node_modules/.package-lock.json

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

22 changes: 22 additions & 0 deletions node_modules/commander/LICENSE

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading