README.md
pyproject.toml
benchmarks/__init__.py
benchmarks/kernel_benchmarks.py
benchmarks/symbolic_regression_comparison.py
benchmarks/srbench/__init__.py
benchmarks/srbench/__main__.py
benchmarks/srbench/functions.py
benchmarks/srbench/report.py
benchmarks/srbench/runner.py
examples/build_regression_demo.py
examples/symbolic_regression.py
examples/symbolic_regression_demo.py
examples/symbolic_regression_full.py
experiments/attractor_basin_map.py
experiments/attractor_depth_scan.py
experiments/attractor_expanded_pslq.py
experiments/attractor_hessian.py
experiments/attractor_high_precision.py
experiments/attractor_identity.py
experiments/attractor_orthogonal_pslq_200.py
experiments/attractor_precision.py
experiments/attractor_pslq_300.py
experiments/deml_abssin_study.py
experiments/el_number_census.py
experiments/eml_complexity_census.py
experiments/eml_fourier_basis.py
experiments/eml_fourier_convergence.py
experiments/eml_weierstrass_formal.py
experiments/experiment_12_siren.py
experiments/float32_generalization.py
experiments/float32_topology.py
experiments/gen_attractor_data.py
experiments/gen_attractor_data_v2.py
experiments/j0_domain_study.py
experiments/multivariate_eml_density.py
experiments/n3_singularity_analysis.py
experiments/phantom_mpmath_probe.py
experiments/plot_attractor_landscape.py
experiments/polynomial_induction.py
experiments/quantum_eml_demo.py
experiments/research_02_attractors.py
experiments/research_03_edl_completeness.py
experiments/research_04_tree_search.py
experiments/research_07_attractor_identity.py
experiments/research_07b_basin_geometry.py
experiments/research_08_physics_survey.py
experiments/schanuel_depth_analysis.py
experiments/schanuel_probe.py
experiments/sin_floor_asymptotics.py
experiments/sin_floor_asymptotics_v3.py
experiments/sin_floor_asymptotics_v4.py
experiments/sin_floor_asymptotics_v5.py
experiments/sin_search_01.py
experiments/sin_search_02.py
experiments/sin_search_03.py
experiments/sin_search_04.py
experiments/sin_search_n12_launcher.py
experiments/srbench_runner.py
experiments/sw_product_closure.py
experiments/universal_approx_survey.py
experiments/x2_explicit_construction.py
monogate/__init__.py
monogate/__main__.py
monogate/causal.py
monogate/chemistry.py
monogate/complex_best.py
monogate/complex_eval.py
monogate/complex_search.py
monogate/core.py
monogate/finance.py
monogate/fused_rust.py
monogate/identities.py
monogate/information_geometry.py
monogate/interval.py
monogate/leaderboard.py
monogate/minimax.py
monogate/nas.py
monogate/network.py
monogate/neural_scorer.py
monogate/operators.py
monogate/optimize.py
monogate/padic.py
monogate/physics.py
monogate/pinn.py
monogate/prover.py
monogate/quantum.py
monogate/sklearn_wrapper.py
monogate/special.py
monogate/sympy_bridge.py
monogate/torch_ops.py
monogate/validate.py
monogate.egg-info/PKG-INFO
monogate.egg-info/SOURCES.txt
monogate.egg-info/dependency_links.txt
monogate.egg-info/entry_points.txt
monogate.egg-info/requires.txt
monogate.egg-info/top_level.txt
monogate/cli/__init__.py
monogate/cli/capability_card.py
monogate/compile/__init__.py
monogate/compile/compiler.py
monogate/compile/fused.py
monogate/data/__init__.py
monogate/data/pretrained_scorer.json
monogate/frontiers/__init__.py
monogate/frontiers/adversarial_identities.py
monogate/frontiers/analog_renaissance.py
monogate/frontiers/attractor_identity.py
monogate/frontiers/coverage_analysis.py
monogate/frontiers/deml_census.py
monogate/frontiers/eml_complexity.py
monogate/frontiers/eml_depth_hierarchy.py
monogate/frontiers/eml_fourier.py
monogate/frontiers/eml_fourier_v2.py
monogate/frontiers/eml_fourier_v3.py
monogate/frontiers/eml_fourier_v4.py
monogate/frontiers/eml_fourier_v5.py
monogate/frontiers/eml_k_resolution.py
monogate/frontiers/eml_vae.py
monogate/frontiers/grammar_extension.py
monogate/frontiers/grammar_hierarchy.py
monogate/frontiers/law_complexity.py
monogate/frontiers/learning_curve.py
monogate/frontiers/operator_comparison.py
monogate/frontiers/pretrain_scorer.py
monogate/frontiers/symbolic_distillation.py
monogate/frontiers/transfer_learning.py
monogate/llm/__init__.py
monogate/llm/cli.py
monogate/llm/optimizer.py
monogate/llm/prompts.py
monogate/search/__init__.py
monogate/search/analyze_n11.py
monogate/search/gpu_search.py
monogate/search/mcts.py
monogate/search/sin_search_05.py
monogate/torch/__init__.py
monogate/torch/eml_layer.py
notebooks/01_eml_basics.py
notebooks/02_best_routing.py
notebooks/03_complex_bypass.py
notebooks/04_pytorch_emllayer.py
notebooks/05_symbolic_regression.py
notebooks/attractor_generalization.py
notebooks/build_e06.py
notebooks/build_e07.py
notebooks/build_e07b.py
notebooks/complex_special_functions.py
notebooks/demo_sin_best.py
notebooks/eml_layer_siren_example.py
notebooks/experiment_08_benchmark.py
notebooks/experiment_09_mlp_demo.py
notebooks/experiment_10_transformer_ffn.py
notebooks/experiment_11.py
notebooks/gen_exp02.py
notebooks/llm_optimizer_demo.py
notebooks/mcts_sin_approximation.py
notebooks/minimax_approximation.py
notebooks/neurosymbolic_prover_demo.py
notebooks/operator_zoo.py
notebooks/operators_study.py
notebooks/operators_study_v2.py
notebooks/performance_kernels.py
notebooks/physics_identities.py
notebooks/physics_identities_discovery.py
notebooks/pinn_eml_demo.py
notebooks/regression_comparison.py
notebooks/sin_best.py
notebooks/sin_construction.py
notebooks/siren_with_monogate.py
notebooks/special_functions_gallery.py
notebooks/symbolic_regression_leaderboard.py
scripts/prepare_v0.10.py
scripts/release_v0.11.0.py
scripts/release_v1.1.0.py
scripts/reproduce_n11.py
scripts/run_exploration.py
scripts/run_srbench.py
scripts/update_arxiv_id.py
scripts/update_leaderboard.py
tests/__init__.py
tests/test_adversarial_identities.py
tests/test_analog_renaissance.py
tests/test_attractor_identity.py
tests/test_compile.py
tests/test_complex.py
tests/test_complex_best.py
tests/test_core.py
tests/test_deml.py
tests/test_edl.py
tests/test_eml_complexity.py
tests/test_eml_fourier.py
tests/test_eml_layer.py
tests/test_eml_vae.py
tests/test_finance.py
tests/test_identity_theorem.py
tests/test_information_geometry.py
tests/test_interval.py
tests/test_leaderboard.py
tests/test_learning_curve.py
tests/test_llm.py
tests/test_mathematical_explorer.py
tests/test_minimax.py
tests/test_nas.py
tests/test_neural_scorer.py
tests/test_operator_comparison.py
tests/test_optimize.py
tests/test_padic.py
tests/test_physics.py
tests/test_pinn.py
tests/test_pretrain_scorer.py
tests/test_prover.py
tests/test_prover_v2.py
tests/test_quantum.py
tests/test_sklearn_wrapper.py
tests/test_special.py
tests/test_srbench.py
tests/test_symbolic_distillation.py
tests/test_sympy_bridge.py
tests/test_torch.py
tests/test_transfer_learning.py