Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

Commits on Mar 12, 2025

• Add extrinsic evaluation problems

  gpoesia

  committed
  8804240View commit details

  Copy full SHA for 8804240

  View code at this pointBrowse repository at this point

• Fix obscure corner case in conjecturing

  Show description for e99371e
  gpoesia

  committed
  e99371eView commit details

  Copy full SHA for e99371e

  View code at this pointBrowse repository at this point

Commits on Feb 14, 2025

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

  Show description for db8478b
  

  namin

  authored and

  gpoesia

  committed
  db8478bView commit details

  Copy full SHA for db8478b

  View code at this pointBrowse repository at this point

Commits on Jan 7, 2025

• fixed rediscovering trivial conjectures

  

  maharajamihir

  authored and

  gpoesia

  committed
  096db43View commit details

  Copy full SHA for 096db43

  View code at this pointBrowse repository at this point

• fix: use format_exception instead of format_exc

  

  maharajamihir

  authored and

  gpoesia

  committed
  3d33023View commit details

  Copy full SHA for 3d33023

  View code at this pointBrowse repository at this point

Commits on Nov 13, 2024

• Add stand-alone example of running proof search

  gpoesia

  committed
  736916cView commit details

  Copy full SHA for 736916c

  View code at this pointBrowse repository at this point

Commits on Nov 1, 2024

• fix: typo in conjecture outcome during sampling

  

  emergenz

  authored and

  gpoesia

  committed
  07f7f6cView commit details

  Copy full SHA for 07f7f6c

  View code at this pointBrowse repository at this point

Commits on Oct 11, 2024

• Remove irrelevant dependencies on old code

  gpoesia

  committed
  b9494c4View commit details

  Copy full SHA for b9494c4

  View code at this pointBrowse repository at this point

Commits on Sep 3, 2024

• Initial release

  gpoesia

  committed
  8d963d0View commit details

  Copy full SHA for 8d963d0

  View code at this pointBrowse repository at this point

Loading