Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 7, 2025

• Step pi added

  JulesViennotFranca

  committed
  8148546

  Copy full SHA for 8148546

Commits on Sep 23, 2025

• Step 3 update

  JulesViennotFranca

  committed
  8fb660b

  Copy full SHA for 8fb660b

Commits on Sep 22, 2025

• Step 1 full have enclosing

  JulesViennotFranca

  committed
  0a04dc5

  Copy full SHA for 0a04dc5

Commits on Sep 4, 2025

• Notations formatting updated

  JulesViennotFranca

  committed
  0a144e2

  Copy full SHA for 0a144e2

• Step 3 update

  JulesViennotFranca

  committed
  4ca128c

  Copy full SHA for 4ca128c

Commits on Sep 3, 2025

• Merging step 1 into step 2

  JulesViennotFranca

  committed
  ef14ff2

  Copy full SHA for ef14ff2

Commits on Sep 2, 2025

• Small improvements to step 4

  JulesViennotFranca

  committed
  018e17a

  Copy full SHA for 018e17a

Commits on Aug 14, 2025

• Update to pytanque 0.2.0

  gbdrt

  committed
  8f4d658

  Copy full SHA for 8f4d658

Commits on Aug 8, 2025

• Merge pull request #4 from LLM4Rocq/inference

  Show description for d279632
  theostos

  authored
  d279632

  Copy full SHA for d279632

• Merge branch 'main' into inference

  theostos

  authored
  67790f8

  Copy full SHA for 67790f8

• Merge inference

  theostos

  committed
  f1d3dd4

  Copy full SHA for f1d3dd4

• Switch to dev QOS

  theostos

  committed
  fe36805

  Copy full SHA for fe36805

• Fix dummy client ip

  theostos

  committed
  ab2740e

  Copy full SHA for ab2740e

Commits on Aug 5, 2025

• Typo

  gbdrt

  committed
  f8012c6

  Copy full SHA for f8012c6

• Cleanup

  gbdrt

  committed
  1c234d6

  Copy full SHA for 1c234d6

• Add restart route to restart pet-servers

  gbdrt

  committed
  a911433

  Copy full SHA for a911433

Commits on Jul 31, 2025

• Update inference documentation

  theostos

  committed
  d9adf2b

  Copy full SHA for d9adf2b

• Move to compress

  theostos

  committed
  57dbd41

  Copy full SHA for 57dbd41

• Uniformize status convention in logs

  theostos

  committed
  e99ad92

  Copy full SHA for e99ad92

• Add restart pet route

  theostos

  committed
  34abc98

  Copy full SHA for 34abc98

• increase num cpus in inference slurm

  theostos

  committed
  456ce2f

  Copy full SHA for 456ce2f

Commits on Jul 30, 2025

• Keeping goals with global variables

  JulesViennotFranca

  committed
  cc6fa8e

  Copy full SHA for cc6fa8e

• Cosmetic for step 4

  JulesViennotFranca

  committed
  402049b

  Copy full SHA for 402049b

• Re-enabling concurrency

  JulesViennotFranca

  committed
  0af490a

  Copy full SHA for 0af490a

• Support for hypotheses with definitions

  JulesViennotFranca

  committed
  1925b30

  Copy full SHA for 1925b30

• TODO update

  JulesViennotFranca

  committed
  df77c02

  Copy full SHA for df77c02

• Better pp for global variables

  JulesViennotFranca

  committed
  20df778

  Copy full SHA for 20df778

• TODO added

  JulesViennotFranca

  committed
  70ac08c

  Copy full SHA for 70ac08c

• Removing global variables from goals

  JulesViennotFranca

  committed
  35f5adb

  Copy full SHA for 35f5adb

Commits on Jul 24, 2025

• Improving reading notations and dependencies in step 4

  JulesViennotFranca

  committed
  911bf87

  Copy full SHA for 911bf87

• Documentation for custom pytanque and coq-lsp installation

  JulesViennotFranca

  committed
  02167b1

  Copy full SHA for 02167b1

Commits on Jul 23, 2025

• Update default parameter to increase a bit temperature, update slurm to point to compress model, use compress model

  theostos

  committed
  71e08b6

  Copy full SHA for 71e08b6

• Add compress client

  theostos

  committed
  330d6d4

  Copy full SHA for 330d6d4

• Update retrieval client, tool, and agent to manage source

  theostos

  committed
  e48f095

  Copy full SHA for e48f095

• Update retrieval server to add source ignoring

  theostos

  committed
  d6a7b20

  Copy full SHA for d6a7b20

Pagination

Previous

Next