Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Mar 27, 2025

• fix extrinsic problems

  MJ10

  committed
  7f4f23a

  Copy full SHA for 7f4f23a

Commits on Mar 25, 2025

• Merge branch 'main' of github.com:gpoesia/minimo

  MJ10

  committed
  fbb3300

  Copy full SHA for fbb3300

Commits on Mar 17, 2025

• induction

  MJ10

  committed
  72e5074

  Copy full SHA for 72e5074

Commits on Mar 15, 2025

• Merge pull request #1 from michaelrizvi/main

  Show description for adbb171
  MJ10

  authored
  adbb171

  Copy full SHA for adbb171

• add testing on external data

  MJ10

  committed
  f1b238d

  Copy full SHA for f1b238d

• added kleene logic problemset to the problems.py

  michaelrizvi

  committed
  9e63788

  Copy full SHA for 9e63788

Commits on Mar 12, 2025

• Add extrinsic evaluation problems

  gpoesia

  committed
  8804240

  Copy full SHA for 8804240

• Fix obscure corner case in conjecturing

  Show description for e99371e
  gpoesia

  committed
  e99371e

  Copy full SHA for e99371e

Commits on Mar 1, 2025

• Merge branch 'main' of github.com:gpoesia/minimo

  MJ10

  committed
  ef32abd

  Copy full SHA for ef32abd

Commits on Feb 14, 2025

• Update README.md by fixing Markdown for one link

  

  namin

  authored and

  gpoesia

  committed
  ffdca44

  Copy full SHA for ffdca44

• Address change in PyTorch 2.6 load API by using weights_only=False explicitly.

  Show description for db8478b
  

  namin

  authored and

  gpoesia

  committed
  db8478b

  Copy full SHA for db8478b

Commits on Jan 7, 2025

• fixed rediscovering trivial conjectures

  

  maharajamihir

  authored and

  gpoesia

  committed
  096db43

  Copy full SHA for 096db43

• fix: use format_exception instead of format_exc

  

  maharajamihir

  authored and

  gpoesia

  committed
  3d33023

  Copy full SHA for 3d33023

Commits on Nov 14, 2024

• Use Arc instead of Rc for thread safety

  gpoesia

  committed
  50b6d6b

  Copy full SHA for 50b6d6b

• feat: add install script

  

  emergenz

  authored and

  gpoesia

  committed
  6dda017

  Copy full SHA for 6dda017

Commits on Nov 13, 2024

• Add stand-alone example of running proof search

  gpoesia

  committed
  736916c

  Copy full SHA for 736916c

Commits on Nov 6, 2024

• fix merge conflicts

  MJ10

  committed
  38807bf

  Copy full SHA for 38807bf

Commits on Nov 1, 2024

• fix: use extension-module for pyo3

  

  emergenz

  authored and

  gpoesia

  committed
  c3d78e0

  Copy full SHA for c3d78e0

• fix: typo in conjecture outcome during sampling

  

  emergenz

  authored and

  gpoesia

  committed
  07f7f6c

  Copy full SHA for 07f7f6c

Commits on Oct 21, 2024

• add logprob recomputation + hardness predictor

  MJ10

  committed
  41eb4e2

  Copy full SHA for 41eb4e2

Commits on Oct 11, 2024

• Add --release to maturin command in README

  gpoesia

  committed
  a460417

  Copy full SHA for a460417

• Remove irrelevant dependencies on old code

  gpoesia

  committed
  b9494c4

  Copy full SHA for b9494c4

Commits on Oct 6, 2024

• QoL changes

  MJ10

  committed
  f8ba90b

  Copy full SHA for f8ba90b

Commits on Sep 5, 2024

• add missing files

  MJ10

  committed
  f1e52b8

  Copy full SHA for f1e52b8

Commits on Sep 3, 2024

• Initial release

  gpoesia

  committed
  8d963d0

  Copy full SHA for 8d963d0