Alternatives and similar repositories for pynsy:

Users that are interested in pynsy are comparing it to the libraries listed below

• google-research / runtime-error-prediction
  This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…
  ☆25Updated 2 years ago
• google-research / crossbeam
  ☆43Updated last year
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆51Updated 3 years ago
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 2 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆17Updated 7 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆31Updated 9 months ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆47Updated last week
• srush / drop7
  ☆18Updated 11 months ago
• gonglinyuan / ast_t5
  ☆59Updated 10 months ago
• google-research / babelcode
  ☆51Updated 3 weeks ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆42Updated 5 months ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• srush / anynp
  Proof-of-concept of global switching between numpy/jax/pytorch in a library.
  ☆18Updated 9 months ago
• Intelligent-CAT-Lab / CodeMind
  CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…
  ☆37Updated 7 months ago
• madaan / pie-perf
  Training language models to make programs faster
  ☆87Updated 11 months ago
• facebookresearch / polymath
  AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. Thi…
  ☆15Updated last week
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• srush / Tensor-Puzzles-Penzai
  ☆20Updated 11 months ago
• facebookresearch / coder_reviewer_reranking
  Official code release for the paper Coder Reviewer Reranking for Code Generation.
  ☆42Updated 2 years ago
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆35Updated 3 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆34Updated 11 months ago
• nyu-mll / ILF-for-code-generation
  ☆74Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆36Updated 8 months ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆42Updated 9 months ago
• Avmb / inverse_scaling_prize_code_identifier_swap
  Submission to the inverse scaling prize
  ☆23Updated last year
• aorwall / moatless-testbeds
  Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…
  ☆10Updated last month
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆77Updated 2 months ago