Pinned Loading

1. epr-formula-embeddings epr-formula-embeddings Public

   Structural and graph-based embeddings for TPTP EPR clauses, built to explore formula similarity before starting premise selection.

   HTML

2. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

3. pairs-trading-ml pairs-trading-ml Public

   Pairs trading strategy implemented using advanced data science techniques

   Jupyter Notebook

4. smt-feature-classifier smt-feature-classifier Public

   Predicting Z3 solver outcomes (sat/unsat/unknown) from structural features of QF_UFLIA SMT-LIB formulas.

   SMT

5. mizar-premise-selection mizar-premise-selection Public

   Python

6. cyclic-arb-smt cyclic-arb-smt Public

   Explores SMT-based cyclic arbitrage detection as a more versatile alternative to the Bellman-Ford algorithm.

   Python