cairomassimo / py2tex

Related projects: ⓘ

• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆34Updated 6 months ago
• f0nzie / tikz_bars
  collection of my favorite bar plots found in the web or developed by me
  ☆27Updated 3 years ago
• wannesm / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆53Updated 2 months ago
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆16Updated 3 years ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆45Updated last year
• dhil / inf-thesis-latex-cls
  A LaTeX Class for Informatics theses at The University of Edinburgh
  ☆30Updated last year
• hackl / network2tikz
  A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.
  ☆51Updated 3 years ago
• ML-KULeuven / deepstochlog
  ☆25Updated 7 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated last year
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• shrivastavadisha / N-PEPS
  ☆18Updated 2 years ago
• JAEarly / latextable
  A Python library that adds Latex functionality to the Texttable package.
  ☆46Updated 10 months ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆28Updated 4 months ago
• azreasoners / NeurASP
  ☆39Updated 10 months ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated last year
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆47Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆23Updated 3 months ago
• alexeyignatiev / xreason
  XReason - formal reasoning about explanations for ML models
  ☆16Updated last year
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• mvcisback / py-aiger
  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
  ☆40Updated 6 months ago
• sgomber / CDCL-SAT
  A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
  ☆14Updated 3 years ago
• johnyf / nx2tikz
  Export NetworkX graphs to TikZ directly
  ☆29Updated 2 years ago
• johnrgilbert / S21-graph-laplacians
  Course materials for UCSB CS 292F.300 Spring 2021: Graph Laplacians and Spectral Graph Theory
  ☆12Updated 3 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆66Updated 2 years ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆80Updated last month
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆29Updated 2 years ago
• sanhacheong / stanford-beamer-presentation
  This is an unofficial LaTeX Beamer presentation template for Stanford University.
  ☆57Updated 5 years ago
• johannaSommer / generalization-neural-co-solvers
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆14Updated last year