Issues

• out of memory when running logic_inference.py regarding FOLIO

  teacherpeterpan/Logic-LLM#12 · Filter by author wuhongyan123 opened on Jan 30, 2025

• random backup code fix

  teacherpeterpan/Logic-LLM#11 · Filter by author priamai opened on Oct 16, 2024

• Logic Inference Sigkil Exit code 137

  teacherpeterpan/Logic-LLM#10 · Filter by author priamai opened on Oct 16, 2024
  2

• Regarding reproduction of results

  teacherpeterpan/Logic-LLM#9 · Filter by author abhinandan12345678 opened on Jun 25, 2024
  2

• About the reproduction.

  teacherpeterpan/Logic-LLM#4 · Filter by author jumptoliujj opened on Nov 18, 2023
  6

• The answer given by pyke is incorrect despite that the formation is correct.

  teacherpeterpan/Logic-LLM#2 · Filter by author Shujie24 opened on Aug 2, 2023

• Will Pyke always give the correct answer for the query

  teacherpeterpan/Logic-LLM#1 · Filter by author Some-random opened on Jul 29, 2023
  2