Graph-based neural tactic prediction models for Coq.
☆15Sep 17, 2025Updated 5 months ago
Alternatives and similar repositories for graph2tac
Users that are interested in graph2tac are comparing it to the libraries listed below
Sorting:
- ☆26Feb 11, 2026Updated 2 weeks ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- Experience Analysis Utility Functions☆11Feb 16, 2026Updated last week
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- iEDA water-drop training initiative☆13Sep 10, 2024Updated last year
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- This is the official repository for all the code of TheoremLlama☆47Aug 4, 2025Updated 6 months ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆77Feb 19, 2026Updated last week
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated last month
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- ☆13Jun 18, 2024Updated last year
- [DEPRECATED] Use https://github.com/thephpleague/oauth2-github instead☆19Oct 24, 2017Updated 8 years ago
- ☆14Feb 3, 2025Updated last year
- Contains the model patches and the eval logs from the passing swe-bench-lite run.☆10Jun 28, 2024Updated last year
- ☆11Feb 14, 2025Updated last year
- ☆11Dec 16, 2024Updated last year
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆31Feb 18, 2026Updated last week
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆29Jan 7, 2026Updated last month
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- Apple IIe FPGA core for the Tang Nano 20K, Primer 25k, Mega 60k, Mega 138k Pro, Console 60k / 138k☆16Feb 19, 2026Updated last week
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Mar 9, 2024Updated last year
- ☆13Nov 28, 2023Updated 2 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Cell Layout Generation for DTCO/STCO Exploration Toolkit☆23May 24, 2025Updated 9 months ago
- a Lean4 framework for the modeling and refinement of stateful systems☆25Dec 19, 2025Updated 2 months ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- ☆10Nov 5, 2016Updated 9 years ago
- https://1000-plus.github.io/☆22Feb 11, 2026Updated 2 weeks ago
- Automatically quantifying radiographic knee osteoarthritis severity☆10May 18, 2017Updated 8 years ago
- ☆15Jun 30, 2024Updated last year
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- A web camera app that transforms photos into short poems☆19Aug 24, 2025Updated 6 months ago
- Rails application that allows humans to play poker matches managed by the Annual Computer Poker Competition's Dealer program in a web GUI…☆10Apr 25, 2015Updated 10 years ago
- Sleep EEG Event Detector (SEED) model, a deep learning-based detector of sleep spindles and K-complexes☆14Jun 24, 2024Updated last year