phop_core/
lib.rs

1//! # phop-core — differentiable symbolic discovery on the EML operator
2//!
3//! phop discovers closed-form expressions from data by learning both the *topology*
4//! and the *numeric parameters* of homogeneous binary trees built from a single
5//! primitive, the EML operator
6//!
7//! ```text
8//! eml(x, y) = exp(x) - ln(y)
9//! ```
10//!
11//! together with the constant `1`. The grammar is the trivial production
12//! `S -> 1 | eml(S, S)`, which (Odrzywołek 2026) is functionally complete for the
13//! elementary functions. Homogeneity lets an entire population of candidate trees be
14//! evaluated inside a single automatic-differentiation graph and optimized end-to-end.
15//!
16//! This crate is layered:
17//! - **Layer A** ([`forest`]) — tensorized EML forest forward evaluation.
18//! - Layer B (topology), C (loss/Pareto), D (distillation) build on top (see the crate TODO).
19//!
20//! The AST, canonicalization, and LaTeX rendering are delegated to the [`oxieml`] crate;
21//! automatic differentiation and optimization to `scirs2-autograd`.
22
23pub mod accel;
24pub mod affine;
25pub mod analyze;
26pub mod any_solution;
27pub mod codegen;
28pub mod config;
29pub mod dataset;
30pub mod dimension;
31pub mod discoverer;
32pub mod distill;
33#[cfg(feature = "egraph")]
34pub mod egraph;
35pub mod error;
36pub mod fit;
37pub mod forest;
38pub mod gated;
39#[cfg(feature = "gpu-cuda")]
40pub mod gpu;
41pub mod gumbel;
42#[cfg(feature = "lean")]
43pub mod lean;
44pub mod loss;
45#[cfg(feature = "gpu-metal")]
46pub mod metal;
47pub mod ode;
48pub mod optimize;
49pub mod pareto;
50pub mod polish;
51pub(crate) mod rng;
52pub mod silence;
53pub mod solution;
54#[cfg(feature = "smt")]
55pub mod verify;
56#[cfg(feature = "gpu-wgpu")]
57pub mod wgpu_forward;
58
59pub use accel::{gpu_backend, GpuBackend};
60pub use affine::{discover_affine, discover_affine_pareto, AffineSolution};
61pub use analyze::{analyze, certified_range, certified_root, Analysis};
62pub use any_solution::{merge_pareto, AnySolution};
63pub use config::{Backend, Config, TempSchedule};
64pub use dataset::{DataSet, Standardizer};
65pub use dimension::{pi_groups, Dimension};
66pub use discoverer::{discover_auto, discover_auto_all, Discoverer};
67pub use distill::{distill, Distilled};
68#[cfg(feature = "egraph")]
69pub use egraph::canonical_latex_egraph;
70pub use error::{PhopError, Result};
71pub use fit::{fit_constants, mse, n_constants};
72pub use forest::{eml_guarded, eval_tree};
73pub use gated::{discover_gated, discover_gated_warm};
74#[cfg(feature = "gpu-cuda")]
75pub use gpu::{cuda_available, discover_gumbel_cuda, eval_tree_cuda, CudaEmlEngine};
76pub use gumbel::discover_gumbel;
77#[cfg(feature = "lean")]
78pub use lean::{kernel_self_check, prove_eml_one_lowering, LeanProof};
79pub use loss::RobustLoss;
80#[cfg(feature = "gpu-metal")]
81pub use metal::{discover_gumbel_metal, eval_tree_metal, metal_available, MetalEmlEngine};
82pub use ode::discover_ode;
83pub use optimize::{polish_constants_scirs, ScirsPolish};
84pub use pareto::ParetoFront;
85pub use polish::{polish_constants, polish_constants_robust, snap_constants};
86pub use solution::Solution;
87#[cfg(feature = "smt")]
88pub use verify::{prove_equivalent, prove_lower_bound, prove_no_root, prove_upper_bound, Verdict};
89#[cfg(feature = "gpu-wgpu")]
90pub use wgpu_forward::{eval_tree_wgpu, wgpu_available};
91
92// Re-export the EML AST + certified-analysis types so downstream crates have a single import surface.
93pub use oxieml::{EmlNode, EmlTree, RootCertificate, RootStatus};
phop_core/lib.rs

phop_core/
lib.rs
