Commits

Branch selector

tactics

User selector

All users

All time

Commit history

Commits on Jun 8, 2025

• try fixing deadlock #4

  MJ10

  committed
  91337e1View commit details

  Copy full SHA for 91337e1

  Browse repository at this point

• try fixing deadlock #3

  MJ10

  committed
  3eccae5View commit details

  Copy full SHA for 3eccae5

  Browse repository at this point

• try fixing deadlock #2

  MJ10

  committed
  5c0608fView commit details

  Copy full SHA for 5c0608f

  Browse repository at this point

• try fixing deadlock

  MJ10

  committed
  d2ea7e3View commit details

  Copy full SHA for d2ea7e3

  Browse repository at this point

Commits on Jun 6, 2025

• fixes

  MJ10

  committed
  93d67c3View commit details

  Copy full SHA for 93d67c3

  Browse repository at this point

Commits on May 29, 2025

• multigpu support

  MJ10

  committed
  6039652View commit details

  Copy full SHA for 6039652

  Browse repository at this point

• add script

  MJ10

  committed
  8d0dcefView commit details

  Copy full SHA for 8d0dcef

  Browse repository at this point

Commits on May 5, 2025

• update noteboook

  MJ10

  committed
  a501a0aView commit details

  Copy full SHA for a501a0a

  Browse repository at this point

• sort of final working tactics

  MJ10

  committed
  04b209bView commit details

  Copy full SHA for 04b209b

  Browse repository at this point

Commits on May 4, 2025

• updates

  MJ10

  committed
  06eeb39View commit details

  Copy full SHA for 06eeb39

  Browse repository at this point

Commits on Apr 29, 2025

• updates

  MJ10

  committed
  1d6d5c9View commit details

  Copy full SHA for 1d6d5c9

  Browse repository at this point

Commits on Apr 8, 2025

• Merge branch 'tactics' of github.com:MJ10/minimo into tactics

  MJ10

  committed
  45881a3View commit details

  Copy full SHA for 45881a3

  Browse repository at this point

• working parallel script + changes

  MJ10

  committed
  802718dView commit details

  Copy full SHA for 802718d

  Browse repository at this point

Commits on Apr 4, 2025

• parallelization try 2

  MJ10

  committed
  6c87a97View commit details

  Copy full SHA for 6c87a97

  Browse repository at this point

• ray parallelization fixes

  MJ10

  committed
  122593bView commit details

  Copy full SHA for 122593b

  Browse repository at this point

• Merge branch 'tactics' of github.com:MJ10/minimo into tactics

  MJ10

  committed
  6d2f222View commit details

  Copy full SHA for 6d2f222

  Browse repository at this point

• ray parallelization

  MJ10

  committed
  7e8d47aView commit details

  Copy full SHA for 7e8d47a

  Browse repository at this point

• updated config

  MJ10

  committed
  f1e76ddView commit details

  Copy full SHA for f1e76dd

  Browse repository at this point

Commits on Apr 2, 2025

• updates

  MJ10

  committed
  f3931b8View commit details

  Copy full SHA for f3931b8

  Browse repository at this point

Commits on Mar 27, 2025

• initial tactic attempt

  MJ10

  committed
  1349412View commit details

  Copy full SHA for 1349412

  Browse repository at this point

• fix extrinsic problems

  MJ10

  committed
  7f4f23aView commit details

  Copy full SHA for 7f4f23a

  Browse repository at this point

Commits on Mar 25, 2025

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

  MJ10

  committed
  fbb3300View commit details

  Copy full SHA for fbb3300

  Browse repository at this point

Commits on Mar 17, 2025

• induction

  MJ10

  committed
  72e5074View commit details

  Copy full SHA for 72e5074

  Browse repository at this point

Commits on Mar 15, 2025

• Merge pull request #1 from michaelrizvi/main

  Show description for adbb171
  MJ10

  authored
  adbb171View commit details

  Copy full SHA for adbb171

  Browse repository at this point

• add testing on external data

  MJ10

  committed
  f1b238dView commit details

  Copy full SHA for f1b238d

  Browse repository at this point

• added kleene logic problemset to the problems.py

  michaelrizvi

  committed
  9e63788View commit details

  Copy full SHA for 9e63788

  Browse repository at this point

Commits on Mar 12, 2025

• Add extrinsic evaluation problems

  gpoesia

  committed
  8804240View commit details

  Copy full SHA for 8804240

  Browse repository at this point

• Fix obscure corner case in conjecturing

  Show description for e99371e
  gpoesia

  committed
  e99371eView commit details

  Copy full SHA for e99371e

  Browse repository at this point

Commits on Mar 1, 2025

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

  MJ10

  committed
  ef32abdView commit details

  Copy full SHA for ef32abd

  Browse repository at this point

Commits on Feb 14, 2025

• Update README.md by fixing Markdown for one link

  

  namin

  authored and

  gpoesia

  committed
  ffdca44View commit details

  Copy full SHA for ffdca44

  Browse repository at this point

• 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

  Browse 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

  Browse 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

  Browse repository at this point

Commits on Nov 14, 2024

• Use Arc instead of Rc for thread safety

  gpoesia

  committed
  50b6d6bView commit details

  Copy full SHA for 50b6d6b

  Browse repository at this point

• feat: add install script

  

  emergenz

  authored and

  gpoesia

  committed
  6dda017View commit details

  Copy full SHA for 6dda017

  Browse repository at this point