The glucose SAT solver

A hyperparameter optimization framework

Polynormer: Polynomial-Expressive Graph Transformer in Linear Time

PolyHorn is a solver for Polynomial Horn Clauses (PHC).

Certify Model Checking Witnesses in AIGER

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

A More Fair and Comprehensive Comparison between KAN and MLP

Kolmogorov Arnold Networks

An efficient pure-PyTorch implementation of Kolmogorov-Arnold Network (KAN).

MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems

AAAI 2020 - ASAP: Adaptive Structure Aware Pooling for Learning Hierarchical Graph Representations

This repository includes set of Verilog benchmarks

Official PyTorch Implementation of SAGPool - ICML 2019

SystemVerilog to Verilog conversion

ACL2 System and Books as Maintained by the Community

GraphArena: Benchmarking Large Language Models on Graph Computational Problems

High-Performance Symbolic Regression in Python and Julia

benchmarking e-graph extraction

benchmarking e-graph extraction

Hardware Hierarchical Dynamic Structures

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

Python科研论文配图绘制指南配套资料