Skip to main content

Symantex

Symantex (pronounced “semantics”) is a modular LaTeX→SymPy converter built on top of Mirascope’s structured-JSON API. It transforms arbitrary LaTeX snippets into executable SymPy Expr and Eq objects, with hooks for domain-specific operators, custom prompt engineering, and dynamic parser configuration.

Documentation: Available at FormuLearn Docs


🚀 Features

  • Reliable JSON mode via Mirascope LLM calls
  • Automatic parsing into SymPy ASTs (Eq, Sum, Matrix, derivatives, transforms…)
  • Dynamic locals map lets you register new functions/symbols (e.g. argmin, softmax, attention)
  • Pluggable prompt that enforces valid Sympy code (Eq(...), Sum(...), no ellipses)
  • Graceful degradation: partial parse success, intelligent failure logging for diagnostics
  • Customizable parser via regular-expression token discovery

📦 Installation

pip install symantex

Metadata

Release files for symantex 0.3.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for symantex 0.3.0
File Size Uploaded
symantex-0.3.0.tar.gz 26.9 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for symantex 0.3.0
File Interpreter ABI Platform
symantex-0.3.0-py3-none-any.whl Python 3 none any Details

Total release size: 54.3 kB

Release files / symantex-0.3.0.tar.gz

Download URL symantex-0.3.0.tar.gz
Size 26.9 kB
Tags Source
SHA-256 checksum
How to use checksums
d080f191d0158184e0fe407d16c4e3fcaa39fcf6b63a9b045013330bdfb2ec36
BLAKE2b-256 checksum
How to use checksums
453dfcda8b0247a51c92d2b0483c6eadf0fe6682452bfa8d3f6444a57951be5e
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.1.0 CPython/3.10.16

Release files / symantex-0.3.0-py3-none-any.whl

Download URL symantex-0.3.0-py3-none-any.whl
Size 27.4 kB
Tags Python 3
SHA-256 checksum
How to use checksums
b0ca4740b40feeaa940f15228b26860fcb2df5b1fd855b6dc0f2e167decc3ec5
BLAKE2b-256 checksum
How to use checksums
78a024d74507d741b9f08b8961f89cd7317bcb4f9e54148d8cea6de3cf4b861b
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.1.0 CPython/3.10.16

Release history Release notifications | RSS feed

This release

0.3.0 This release

2 release files

0.2.0

2 release files

0.1.0

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page