softsys4ai / differentiable-proving
Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for differentiable-proving
- ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems☆19Updated last year
- SBU Deep Learning Course Materials and Codes☆13Updated 2 years ago
- Classify Git commits with deep learning☆18Updated 11 months ago
- ☆25Updated 5 months ago
- A benchmark for evaluation and comparison of various NLP tasks in Persian language.☆74Updated 3 years ago
- Linear Algebra Hand Notes☆21Updated 3 years ago
- Code and real data for "Counterfactual Temporal Point Processes", NeurIPS 2022☆15Updated 2 years ago
- فرمت سمینار دانشگاه صنعتی شریف☆20Updated last year
- Python Library for Random Walks☆21Updated 6 months ago
- Deep Learning Summer School 2017 @ University of Tehran, Iran☆28Updated 7 years ago
- The Python PSDD Package☆16Updated 2 months ago
- A descriptive & intuitive guide to Linear Algebra!☆84Updated 4 years ago
- A set of pre-trained word vectors for Persian language☆14Updated last year
- ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language☆53Updated 3 years ago
- MADRL project solving chess environment using PPO with two different methods: 2 agents/networks and a single agent/network.☆13Updated last year
- FarsTail: a Persian natural language inference dataset☆76Updated last year
- دیتاست های فارسی اینستاگرام جهت تحقیق و تمرین persian instagram dataset☆7Updated 5 years ago
- A list of useful AI tools from across the web☆25Updated last week
- A voice chat assistant which allows you to speak with your machine☆14Updated last month
- How we can contribute in @aut-ce☆17Updated 2 years ago
- A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.☆10Updated 6 years ago
- CLIPfa: Connecting Farsi Text and Images☆80Updated last year
- Persian Bert For Long-Range Sequences☆63Updated 3 years ago
- A package that extracts Persian time and date markers by applying regexes -- AACL 2022☆25Updated last year
- Internet Engineering Course Lecture and Page 🙈 🎈☆43Updated 3 weeks ago
- Linux Festival Admin Panel☆9Updated last year
- A well-structured summarization dataset for the Persian language!☆47Updated 10 months ago
- PCoQA: Persian Conversational Question Answering Dataset☆20Updated 3 months ago