Discussions

• 1 You must be logged in to vote

  🙏

  How were the splits for the coq files decided per project?

  brando90 asked Dec 12, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  How to install coq-gym projects using opam

  brando90 asked Aug 20, 2022 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Why did CoqGym instrument/modify Coq?

  brando90 asked Jun 3, 2022 in Q&A · Answered

  

  

  15
• 2 You must be logged in to vote

  🙏

  License for models trained on CoqGym data

  tlringer asked Jul 14, 2021 in Q&A · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  How does the CoqGym project respect the licensing of the original Coq projects when generating data and doing experiments?

  brando90 asked Jun 8, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Is ssreflect compatibale with CoqGym & it's data set?

  brando90 asked Mar 7, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  updating data set and gym to newer coq version

  brando90 asked Mar 7, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Error writing unto pre-built container image

  richardanarfi asked Feb 9, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Can the data set for CoqGym with PyCoq

  brando90 asked Feb 23, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Trying to test a conjecture

  eengad asked Jan 1, 2022 in Q&A · Answered

  

  

  6
• 1 You must be logged in to vote

  🙏

  check_proofs.py raise exception or errors

  smirnoffalexx asked Nov 11, 2021 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Generating .meta files after installation modified coq

  smirnoffalexx asked Nov 3, 2021 in Q&A · Answered

  

  

  6
• 1 You must be logged in to vote

  🙏

  Removing tokens in gallina.py

  tlringer asked Jul 24, 2021 in Q&A · Answered

  

  

  9
• 1 You must be logged in to vote

  🙏

  Are the programs that ASTactic generate guaranteed to be syntactically correct?

  brando90 asked Jun 14, 2021 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Leaves for TreeLSTM - what are they and what are the options for handling them?

  brando90 asked Apr 27, 2021 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💬

  Thoughts on prefixing tactic applications with 'all:'

  magmkri started Apr 5, 2021 in General

  

  

  6
• 1 You must be logged in to vote

  🙏

  Why the different type of schedulers/annealing rates for optimizer?

  brando90 asked Feb 24, 2021 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How to efficiently process a batch of terms in one go for Tree Neural Networks?

  brando90 asked Jan 29, 2021 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Adding to .gitignore & inner loop for display.py

  magmkri asked Jan 25, 2021 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  What is the correct way to extract the data? (e.g. is it ok if proof_steps/human is missing)

  brando90 asked Jan 23, 2021 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Potential challenge verifying the hash of data

  brando90 asked Jan 21, 2021 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Reorganizing folders to a python project

  brando90 asked Jan 18, 2021 in Q&A · Unanswered

  

  

  7
• 1 You must be logged in to vote

  🙏

  Why is there a need for a Gallina parser if the term encoder is able to create embeddings for using sexp?

  brando90 asked Jan 6, 2021 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  What is cmd = 'find ./data -type f -exec sed -i \'\' \'s/TAPAS_ROOT_ABSOLUTE_PATH/%s/g\' {} +' % cwd.replace(os.path.sep, '\/') for?

  brando90 asked Jan 21, 2021 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Why are some files missing from the extracted data?

  HazardousPeach asked Jan 15, 2021 in Q&A · Answered

  

  

  

  

  5