Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 10, 2025

• Merge branch 'main' of github.com:cmu-l3/llmlean

  wellecks

  committed
  7ec2df2

  Copy full SHA for 7ec2df2

• Lean 4.23.0

  wellecks

  committed
  a26842d

  Copy full SHA for a26842d

• Update README

  wellecks

  authored
  d64b512

  Copy full SHA for d64b512

• Update README

  wellecks

  committed
  addc529

  Copy full SHA for addc529

Commits on Oct 9, 2025

• Merge pull request #19 from zeyu-zheng/bfs-pr

  Show description for f044251
  wellecks

  authored
  f044251

  Copy full SHA for f044251

Commits on Oct 6, 2025

• docs: add config info for BFS-Prover-V2

  zeyu-zheng

  committed
  d0f8756

  Copy full SHA for d0f8756

Commits on Sep 18, 2025

• docs: add BFS-Prover Ollama pull instructions and usage tips

  zeyu-zheng

  committed
  2818d81

  Copy full SHA for 2818d81

Commits on Sep 13, 2025

• feat: add support for BFS-Prover

  zeyu-zheng

  committed
  54a6cdd

  Copy full SHA for 54a6cdd

Commits on Jul 16, 2025

• Merge pull request #17 from hanwenzhu/llmleantest-update

  Show description for 13ab390
  wellecks

  authored
  13ab390

  Copy full SHA for 13ab390

• Merge pull request #18 from BoltonBailey/patch-1

  Show description for 3a5e6f4
  wellecks

  authored
  3a5e6f4

  Copy full SHA for 3a5e6f4

Commits on Jul 14, 2025

• Update ollama-models.md for new kimina models

  BoltonBailey

  authored
  a1459e8

  Copy full SHA for a1459e8

Commits on Jul 5, 2025

• change LLMleanTest into its own project

  hanwenzhu

  committed
  fd1c899

  Copy full SHA for fd1c899

Commits on Jun 14, 2025

• Merge pull request #16 from cmu-l3/defaults

  Show description for 0a37423
  wellecks

  authored
  0a37423

  Copy full SHA for 0a37423

• Manage defaults for different providers and tactics. Log defaults.

  wellecks

  committed
  f3ae89b

  Copy full SHA for f3ae89b

• Merge pull request #15 from cmu-l3/refinement

  Show description for b91e26e
  wellecks

  authored
  b91e26e

  Copy full SHA for b91e26e

• Add documentation

  wellecks

  committed
  980b2d0

  Copy full SHA for 980b2d0

• Improve refinement

  Show description for ce789a6
  wellecks

  committed
  ce789a6

  Copy full SHA for ce789a6

Commits on Jun 12, 2025

• Initial refinement

  wellecks

  committed
  ee629db

  Copy full SHA for ee629db

• Merge pull request #14 from cmu-l3/maxTokens

  Show description for 171e815
  wellecks

  authored
  171e815

  Copy full SHA for 171e815

• Add maxTokens config option

  wellecks

  committed
  031249c

  Copy full SHA for 031249c

Commits on Jun 11, 2025

• Merge pull request #13 from cmu-l3/refactor

  Show description for 3e5d3e9
  wellecks

  authored
  3e5d3e9

  Copy full SHA for 3e5d3e9

• Refactor default samples

  wellecks

  committed
  295d953

  Copy full SHA for 295d953

• Refactor API.

  wellecks

  committed
  6f3c5fe

  Copy full SHA for 6f3c5fe

Commits on Jun 10, 2025

• Merge pull request #12 from cmu-l3/upgrade-lean-v4.20.0-rc5

  Show description for 2f18809
  wellecks

  authored
  2f18809

  Copy full SHA for 2f18809

• Upgrade to Lean v4.20.0-rc5 with conditional mathlib dependency

  Show description for 3fd8031
  wellecks

  committed
  3fd8031

  Copy full SHA for 3fd8031

• Update README.md

  wellecks

  authored
  ff2f97d

  Copy full SHA for ff2f97d

• Merge pull request #11 from cmu-l3/kimina-pr

  Show description for 10a6f38
  wellecks

  authored
  10a6f38

  Copy full SHA for 10a6f38

• Update docs

  wellecks

  committed
  126a6b2

  Copy full SHA for 126a6b2

• Cleanup

  wellecks

  committed
  11ba681

  Copy full SHA for 11ba681

• Update docs

  wellecks

  committed
  62b0282

  Copy full SHA for 62b0282

• Remove test with old function.

  wellecks

  committed
  0ed1340

  Copy full SHA for 0ed1340

• Fix detailed -> reasoning, adjust max tokens and stop sequences.

  wellecks

  committed
  f011aa3

  Copy full SHA for f011aa3

Commits on Jun 9, 2025

• Remove test with old function

  wellecks

  committed
  c2111e3

  Copy full SHA for c2111e3

• Fix Kimina QED: adjust prompts, add maxTokens, adjust output parsing.

  wellecks

  committed
  4fe2fb9

  Copy full SHA for 4fe2fb9

• fix bug

  

  BoltonBailey

  authored and

  wellecks

  committed
  ffe1f0f

  Copy full SHA for ffe1f0f

Pagination

Previous

Next