Alternatives and similar repositories for geosolver:

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

• seominjoon / geoserver
  Web framework for GeoSolver
  ☆14Updated 7 years ago
• lupantech / InterGPS
  Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
  ☆128Updated last month
• google-deepmind / AQuA
  A algebraic word problem dataset, with multiple choice questions annotated with rationales.
  ☆303Updated 7 years ago
• GitXiv / DeepQA
  GitXiv Competition: Replicate the findings of the Deep Q&A research paper, preferably in collaboration with others. Use library of choice…
  ☆40Updated 9 years ago
• mokemokechicken / keras_npi
  NPI(Neural Programmer-Interpreters) implementation with Keras
  ☆244Updated 2 years ago
• rkruegs123 / geo-model-builder
  ☆19Updated 3 years ago
• princeton-vl / FormulaNet
  Code for FormulaNet in NIPS 2017
  ☆30Updated 6 years ago
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆27Updated 2 years ago
• kelvinguu / lang2program
  Parse natural language into executable programs
  ☆64Updated 7 years ago
• kadengriffith / MWP-Automatic-Solver
  This is a comprehensive training/testing environment using the Transformer model for solving Math Word Problems. Features easy configurat…
  ☆24Updated 4 years ago
• gangeli / NaturalLI
  Natural Logic Inference for Common Sense Reasoning
  ☆62Updated 6 years ago
• tensorflow / deepmath
  Experiments towards neural network theorem proving
  ☆788Updated 4 years ago
• ShichaoSun / math_seq2tree
  Seq2Tree model for Solving Math Word Problems
  ☆144Updated 2 years ago
• Knewton / Zoidberg
  A natural language word problem solver written in Python
  ☆39Updated 10 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 months ago
• probmods / chapters
  The online textbook Probabilistic Models of Cognition
  ☆165Updated 7 years ago
• CogComp / arithmetic
  Arithmetic word problem solver
  ☆42Updated 3 months ago
• nyu-dl / dl4ir-webnav
  WebNav: A New Large-Scale Task for Natural Language based Sequential Decision Making
  ☆83Updated 7 years ago
• brendenlake / visual-turing-tests
  Javascript code for "visual Turing tests"
  ☆51Updated 9 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆143Updated 3 years ago
• batra-mlp-lab / lang-emerge
  [EMNLP 2017] Code for "Natural Language Does Not Emerge 'Naturally' in Multi-Agent Dialog"
  ☆95Updated 4 years ago
• jvking / text-games
  This repository provides text game simulators for research purposes.
  ☆43Updated 5 years ago
• ofirnachum / tree_rnn
  Theano implementation of Tree RNNs aka Recursive Neural Networks.
  ☆236Updated 8 years ago
• Smerity / keras_snli
  Simple Keras model that tackles the Stanford Natural Language Inference (SNLI) corpus using summation and/or recurrent neural networks
  ☆265Updated 7 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆88Updated 6 years ago
• falcondai / trained-ABS-model
  a trained attention-based summarization model
  ☆10Updated 7 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 3 years ago
• clab / lstm-parser
  Transition-based dependency parser based on stack LSTMs
  ☆204Updated 5 years ago
• allenai / dqa-net
  Diagram question answering system described in "A Diagram is Worth a Dozen Images"
  ☆39Updated 7 years ago