Search results

Correct execution of reproducing the experiments in the paper?

Status: Open.

#18 In albertqjiang/INT;

· fzyzcjy opened on Dec 9, 2022

typo: "training" part has doc saying "k=3, l=3" while command line seems to be "k=5, l=5"

Status: Open.

#17 In albertqjiang/INT;

· fzyzcjy opened on Dec 9, 2022

observation_to_source throws error if the observation is already proved

Status: Open.

#14 In albertqjiang/INT;

· fzyzcjy opened on Dec 6, 2022

(low priority) Refactor: Generate python doc automatically from code comments instead of manual copying

Status: Open.

#9 In albertqjiang/INT;

· fzyzcjy opened on Nov 30, 2022

Refactor: Configure GitHub CI

Status: Open.

#7 In albertqjiang/INT;

· fzyzcjy opened on Nov 30, 2022

Refactor: Configure linter, and fix linting errors

Status: Open.

#6 In albertqjiang/INT;

· fzyzcjy opened on Nov 30, 2022

Willing to PR to refactor the library (before contributing new features)

Status: Open.

#5 In albertqjiang/INT;

· fzyzcjy opened on Nov 30, 2022

(Willing to PR) Enhance <code>INT</code> by features of <code>Equations</code> from <code>HyperTree Proof Search for Neural Theorem Proving</code>, and extra inequalities from <code>Formal Mathematics Statement Curriculum Learning</code>?

Status: Open.

#3 In albertqjiang/INT;

· fzyzcjy opened on Nov 28, 2022