| react-profiling | 0 |
| react-import-map | react,react-dom,react-dom/client,react-dom/profiling,react-is,react-reconciler,react/compiler-runtime,react/jsx-dev-runtime,react/jsx-runtime,scheduler@d5750093facf |
| route-pattern | /topics/:topic_name(.:format) |
| route-controller | topics |
| route-action | show |
| fetch-nonce | v2:2b01b5ca-9883-3a72-0199-d4b13d6645a3 |
| current-catalog-service-hash | 78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1 |
| request-id | A6CE:CBF7F:469997:5C6BEB:6AEBD5A9 |
| html-safe-nonce | 664eb672f809c7583858aaf4c6b770eada15b78a2a4ef42c05bfa828241babbc |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNkNFOkNCRjdGOjQ2OTk5Nzo1QzZCRUI6NkFFQkQ1QTkiLCJ2aXNpdG9yX2lkIjoiMzkyMDgwODIwNjczNTc1ODc2MSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | 9183256db497841cdef2e996340efb68a1b31683bdefbbb833e47f78283860a2 |
| github-keyboard-shortcuts | copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/topics/machine-reasoning |
| og:site_name | GitHub |
| og:image | https://github.githubassets.com/assets/github-octocat-13c86b8b336d.png |
| og:image:type | image/png |
| og:image:width | 1200 |
| og:image:height | 620 |
| twitter:site:id | 13334762 |
| twitter:creator | github |
| twitter:creator:id | 13334762 |
| twitter:card | summary_large_image |
| twitter:image | https://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png |
| twitter:image:width | 1200 |
| twitter:image:height | 1200 |
| hostname | github.com |
| expected-hostname | github.com |
| None | 97b204e1babd5581d0c4d4f3dc7d4a484f3d9fef013d4bc1be57692ba0aeb6f5 |
| turbo-cache-control | no-preview |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | ee820e8271e2dd5c53dba22e928915edb9795b69 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://github.com/topics/machine-reasoning#start-of-content |
| https://github.com/ |
| Sign in | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fmachine-reasoning |
| GitHubRepository hosting, code review, and collaboration | https://github.com/platform |
| CopilotAI coding agent for tasks, projects and automated work | https://github.com/features/copilot |
| ActionsCI/CD and automation | https://github.com/features/actions |
| Code QualityQuality analysis, fixes, and enforcement | https://github.com/features/code-quality |
| CodespacesCloud development environments | https://github.com/features/codespaces |
| Code SecurityVulnerability detection and remediation | https://github.com/security/advanced-security/code-security |
| Secret ProtectionSecret scanning and leak prevention | https://github.com/security/advanced-security/secret-protection |
| All Features | https://github.com/features |
| Documentation | https://docs.github.com/en |
| Training | https://learn.github.com/skills |
| Certifications | https://learn.github.com/credentials |
| Build with Copilot | https://github.com/features/ai |
| Customize Copilot | https://docs.github.com/en/copilot/how-tos/copilot-on-github/customize-copilot/customize-copilot-overview |
| Integrations | https://github.com/marketplace |
| Trending repos | https://github.com/trending |
| GitHub Sponsors | https://github.com/open-source/sponsors |
| Developer articles | https://github.com/resources/articles |
| ChangelogYour source for the latest features, improvements, and fixes across GitHub products, all in one place. | https://github.blog/changelog/ |
| Enterprises | https://github.com/enterprise |
| Team | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| See all industries | https://github.com/solutions/industry |
| Why GitHub | https://github.com/why-github |
| Customer Stories | https://github.com/customer-stories |
| Business insights | https://github.com/solutions/executive-insights |
| Trust Center | https://github.com/trust-center |
| GitHub Advanced SecurityEnterprise-grade code security | https://github.com/security/advanced-security |
| Copilot for businessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/enterprise/premium-support |
| Documentation | https://docs.github.com/en |
| Resource center | https://github.com/resources |
| Blog | https://github.blog/ |
| Events & webinars | https://github.com/resources/events |
| Community Forum | https://github.com/orgs/community/discussions |
| Customer Stories | https://github.com/customer-stories |
| Integrations | https://github.com/marketplace |
| Customer support | https://help.github.com/ |
| Training | https://learn.github.com/skills |
| GitHub Status | https://www.githubstatus.com/ |
| About | https://github.com/about |
| Partners | https://github.com/partners |
| Changelog | https://github.blog/changelog/ |
| GitHub UniverseThe event for developers, by developers — talks, workshops, and what’s next for GitHub. | https://githubuniverse.com/ |
| Pricing | https://github.com/pricing |
| Sign in | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fmachine-reasoning |
| Sign up | https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fmachine-reasoning&source=header |
| Reload | https://github.com/topics/machine-reasoning |
| Reload | https://github.com/topics/machine-reasoning |
| Reload | https://github.com/topics/machine-reasoning |
| Explore | https://github.com/explore |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Events | https://github.com/events |
| GitHub Sponsors | https://github.com/sponsors/explore |
|
Star
| https://github.com/login?return_to=%2Ftopic.machine-reasoning |
|
All
20
| https://github.com/topics/machine-reasoning |
|
Python
7
| https://github.com/topics/machine-reasoning?l=python |
|
Julia
3
| https://github.com/topics/machine-reasoning?l=julia |
|
HTML
2
| https://github.com/topics/machine-reasoning?l=html |
|
Jupyter Notebook
2
| https://github.com/topics/machine-reasoning?l=jupyter+notebook |
|
CSS
1
| https://github.com/topics/machine-reasoning?l=css |
|
SCSS
1
| https://github.com/topics/machine-reasoning?l=scss |
|
Most stars
| https://github.com/topics/machine-reasoning?o=desc&s=stars |
|
Fewest stars
| https://github.com/topics/machine-reasoning?o=asc&s=stars |
|
Most forks
| https://github.com/topics/machine-reasoning?o=desc&s=forks |
|
Fewest forks
| https://github.com/topics/machine-reasoning?o=asc&s=forks |
|
Recently updated
| https://github.com/topics/machine-reasoning?o=desc&s=updated |
|
Least recently updated
| https://github.com/topics/machine-reasoning?o=asc&s=updated |
| stanfordnlp | https://github.com/stanfordnlp |
| mac-network | https://github.com/stanfordnlp/mac-network |
|
Star
509
| https://github.com/login?return_to=%2Fstanfordnlp%2Fmac-network |
|
Code
| https://github.com/stanfordnlp/mac-network |
|
Issues
| https://github.com/stanfordnlp/mac-network/issues |
|
Pull requests
| https://github.com/stanfordnlp/mac-network/pulls |
| tensorflow | https://github.com/topics/tensorflow |
| vqa | https://github.com/topics/vqa |
| question-answering | https://github.com/topics/question-answering |
| attention | https://github.com/topics/attention |
| clevr | https://github.com/topics/clevr |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| compositional-attention-networks | https://github.com/topics/compositional-attention-networks |
| INK-USC | https://github.com/INK-USC |
| CommonGen | https://github.com/INK-USC/CommonGen |
|
Star
142
| https://github.com/login?return_to=%2FINK-USC%2FCommonGen |
|
Code
| https://github.com/INK-USC/CommonGen |
|
Issues
| https://github.com/INK-USC/CommonGen/issues |
|
Pull requests
| https://github.com/INK-USC/CommonGen/pulls |
| natural-language-processing | https://github.com/topics/natural-language-processing |
| deep-learning | https://github.com/topics/deep-learning |
| text-generation | https://github.com/topics/text-generation |
| natural-language-generation | https://github.com/topics/natural-language-generation |
| nlg-dataset | https://github.com/topics/nlg-dataset |
| commonsense-reasoning | https://github.com/topics/commonsense-reasoning |
| nlp-datasets | https://github.com/topics/nlp-datasets |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| language-generation-dataset | https://github.com/topics/language-generation-dataset |
| FranxYao | https://github.com/FranxYao |
| FlanT5-CoT-Specialization | https://github.com/FranxYao/FlanT5-CoT-Specialization |
|
Star
128
| https://github.com/login?return_to=%2FFranxYao%2FFlanT5-CoT-Specialization |
|
Code
| https://github.com/FranxYao/FlanT5-CoT-Specialization |
|
Issues
| https://github.com/FranxYao/FlanT5-CoT-Specialization/issues |
|
Pull requests
| https://github.com/FranxYao/FlanT5-CoT-Specialization/pulls |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| large-language-models | https://github.com/topics/large-language-models |
| chain-of-thought | https://github.com/topics/chain-of-thought |
| emergent-abilities | https://github.com/topics/emergent-abilities |
| Octavian-ai | https://github.com/Octavian-ai |
| mac-graph | https://github.com/Octavian-ai/mac-graph |
|
Star
117
| https://github.com/login?return_to=%2FOctavian-ai%2Fmac-graph |
|
Code
| https://github.com/Octavian-ai/mac-graph |
|
Issues
| https://github.com/Octavian-ai/mac-graph/issues |
|
Pull requests
| https://github.com/Octavian-ai/mac-graph/pulls |
| ai | https://github.com/topics/ai |
| graph | https://github.com/topics/graph |
| tensorflow | https://github.com/topics/tensorflow |
| ml | https://github.com/topics/ml |
| population | https://github.com/topics/population |
| pbt | https://github.com/topics/pbt |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| macnet | https://github.com/topics/macnet |
| clegr | https://github.com/topics/clegr |
| nanduan | https://github.com/nanduan |
| nanduan.github.io | https://github.com/nanduan/nanduan.github.io |
|
Star
10
| https://github.com/login?return_to=%2Fnanduan%2Fnanduan.github.io |
|
Code
| https://github.com/nanduan/nanduan.github.io |
|
Issues
| https://github.com/nanduan/nanduan.github.io/issues |
|
Pull requests
| https://github.com/nanduan/nanduan.github.io/pulls |
| natural-language-processing | https://github.com/topics/natural-language-processing |
| artificial-intelligence | https://github.com/topics/artificial-intelligence |
| question-answering | https://github.com/topics/question-answering |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| pre-trained-model | https://github.com/topics/pre-trained-model |
| reasoned-ai | https://github.com/reasoned-ai |
| norm | https://github.com/reasoned-ai/norm |
|
Star
9
| https://github.com/login?return_to=%2Freasoned-ai%2Fnorm |
|
Code
| https://github.com/reasoned-ai/norm |
|
Issues
| https://github.com/reasoned-ai/norm/issues |
|
Pull requests
| https://github.com/reasoned-ai/norm/pulls |
| deep-neural-networks | https://github.com/topics/deep-neural-networks |
| ai | https://github.com/topics/ai |
| deep-learning | https://github.com/topics/deep-learning |
| ml | https://github.com/topics/ml |
| logic-programming | https://github.com/topics/logic-programming |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| KnetML | https://github.com/KnetML |
| MAC-Network | https://github.com/KnetML/MAC-Network |
|
Star
6
| https://github.com/login?return_to=%2FKnetML%2FMAC-Network |
|
Code
| https://github.com/KnetML/MAC-Network |
|
Issues
| https://github.com/KnetML/MAC-Network/issues |
|
Pull requests
| https://github.com/KnetML/MAC-Network/pulls |
| nlp | https://github.com/topics/nlp |
| machine-learning | https://github.com/topics/machine-learning |
| deep-learning | https://github.com/topics/deep-learning |
| julia | https://github.com/topics/julia |
| vqa | https://github.com/topics/vqa |
| attention | https://github.com/topics/attention |
| knet | https://github.com/topics/knet |
| clevr | https://github.com/topics/clevr |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| eleow | https://github.com/eleow |
| IRS-MR-2019-07-01-IS1FT-GRP-MEWPlanner | https://github.com/eleow/IRS-MR-2019-07-01-IS1FT-GRP-MEWPlanner |
|
Star
5
| https://github.com/login?return_to=%2Feleow%2FIRS-MR-2019-07-01-IS1FT-GRP-MEWPlanner |
|
Code
| https://github.com/eleow/IRS-MR-2019-07-01-IS1FT-GRP-MEWPlanner |
|
Issues
| https://github.com/eleow/IRS-MR-2019-07-01-IS1FT-GRP-MEWPlanner/issues |
|
Pull requests
| https://github.com/eleow/IRS-MR-2019-07-01-IS1FT-GRP-MEWPlanner/pulls |
| diabetes | https://github.com/topics/diabetes |
| singapore | https://github.com/topics/singapore |
| intelligent-systems | https://github.com/topics/intelligent-systems |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| meal-planning | https://github.com/topics/meal-planning |
| nus-iss | https://github.com/topics/nus-iss |
| isy5001 | https://github.com/topics/isy5001 |
| KnetML | https://github.com/KnetML |
| Relational-Network | https://github.com/KnetML/Relational-Network |
|
Star
5
| https://github.com/login?return_to=%2FKnetML%2FRelational-Network |
|
Code
| https://github.com/KnetML/Relational-Network |
|
Issues
| https://github.com/KnetML/Relational-Network/issues |
|
Pull requests
| https://github.com/KnetML/Relational-Network/pulls |
| https://arxiv.org/pdf/1706.01427.pdf | https://arxiv.org/pdf/1706.01427.pdf |
| nlp | https://github.com/topics/nlp |
| machine-learning | https://github.com/topics/machine-learning |
| deep-learning | https://github.com/topics/deep-learning |
| julia | https://github.com/topics/julia |
| vqa | https://github.com/topics/vqa |
| knet | https://github.com/topics/knet |
| clevr | https://github.com/topics/clevr |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| https://github.com/saad2134/neural-tech |
| saad2134 | https://github.com/saad2134 |
| neural-tech | https://github.com/saad2134/neural-tech |
|
Sponsor
| https://github.com/sponsors/saad2134 |
|
Star
3
| https://github.com/login?return_to=%2Fsaad2134%2Fneural-tech |
|
Code
| https://github.com/saad2134/neural-tech |
|
Issues
| https://github.com/saad2134/neural-tech/issues |
|
Pull requests
| https://github.com/saad2134/neural-tech/pulls |
| python | https://github.com/topics/python |
| ai | https://github.com/topics/ai |
| matching | https://github.com/topics/matching |
| healthcare | https://github.com/topics/healthcare |
| knowledge-base | https://github.com/topics/knowledge-base |
| if-else | https://github.com/topics/if-else |
| healthcare-application | https://github.com/topics/healthcare-application |
| expert-system | https://github.com/topics/expert-system |
| health-tech | https://github.com/topics/health-tech |
| inference-engine | https://github.com/topics/inference-engine |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| rag | https://github.com/topics/rag |
| streamlit | https://github.com/topics/streamlit |
| medical-diagnosis | https://github.com/topics/medical-diagnosis |
| streamlit-webapp | https://github.com/topics/streamlit-webapp |
| llm | https://github.com/topics/llm |
| aiinhealthcare | https://github.com/topics/aiinhealthcare |
| llm-inference | https://github.com/topics/llm-inference |
| ai-decision-making | https://github.com/topics/ai-decision-making |
| diagnostic-ai | https://github.com/topics/diagnostic-ai |
| api-evangelist | https://github.com/api-evangelist |
| harmonic | https://github.com/api-evangelist/harmonic |
|
Star
2
| https://github.com/login?return_to=%2Fapi-evangelist%2Fharmonic |
|
Code
| https://github.com/api-evangelist/harmonic |
|
Issues
| https://github.com/api-evangelist/harmonic/issues |
|
Pull requests
| https://github.com/api-evangelist/harmonic/pulls |
| company | https://github.com/topics/company |
| ai | https://github.com/topics/ai |
| theorem-proving | https://github.com/topics/theorem-proving |
| mathematics | https://github.com/topics/mathematics |
| developer-tools | https://github.com/topics/developer-tools |
| lean | https://github.com/topics/lean |
| formal-verification | https://github.com/topics/formal-verification |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| apis-json | https://github.com/topics/apis-json |
| AlienMuse | https://github.com/AlienMuse |
| alienmuse.github.io | https://github.com/AlienMuse/alienmuse.github.io |
|
Star
1
| https://github.com/login?return_to=%2FAlienMuse%2Falienmuse.github.io |
|
Code
| https://github.com/AlienMuse/alienmuse.github.io |
|
Issues
| https://github.com/AlienMuse/alienmuse.github.io/issues |
|
Pull requests
| https://github.com/AlienMuse/alienmuse.github.io/pulls |
| github-pages | https://github.com/topics/github-pages |
| personal-website | https://github.com/topics/personal-website |
| mathematics | https://github.com/topics/mathematics |
| artificial-intelligence | https://github.com/topics/artificial-intelligence |
| topos-theory | https://github.com/topics/topos-theory |
| grothendieck | https://github.com/topics/grothendieck |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| ai-for-math | https://github.com/topics/ai-for-math |
| grothendieckian-programme | https://github.com/topics/grothendieckian-programme |
| wisemotif | https://github.com/topics/wisemotif |
| grothendieckian-machine | https://github.com/topics/grothendieckian-machine |
| hurxan | https://github.com/hurxan |
| jupyjava-planner | https://github.com/hurxan/jupyjava-planner |
|
Star
1
| https://github.com/login?return_to=%2Fhurxan%2Fjupyjava-planner |
|
Code
| https://github.com/hurxan/jupyjava-planner |
|
Issues
| https://github.com/hurxan/jupyjava-planner/issues |
|
Pull requests
| https://github.com/hurxan/jupyjava-planner/pulls |
| python | https://github.com/topics/python |
| java | https://github.com/topics/java |
| julia | https://github.com/topics/julia |
| astar-algorithm | https://github.com/topics/astar-algorithm |
| planning | https://github.com/topics/planning |
| hsp | https://github.com/topics/hsp |
| pddl | https://github.com/topics/pddl |
| heuristics | https://github.com/topics/heuristics |
| automated-planning | https://github.com/topics/automated-planning |
| shortest-path-algorithm | https://github.com/topics/shortest-path-algorithm |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| AlienMuse | https://github.com/AlienMuse |
| AlienMuse | https://github.com/AlienMuse/AlienMuse |
|
Star
1
| https://github.com/login?return_to=%2FAlienMuse%2FAlienMuse |
|
Code
| https://github.com/AlienMuse/AlienMuse |
|
Issues
| https://github.com/AlienMuse/AlienMuse/issues |
|
Pull requests
| https://github.com/AlienMuse/AlienMuse/pulls |
| mathematics | https://github.com/topics/mathematics |
| artificial-intelligence | https://github.com/topics/artificial-intelligence |
| grothendieck | https://github.com/topics/grothendieck |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| ai-for-math | https://github.com/topics/ai-for-math |
| grothendieckian-programme | https://github.com/topics/grothendieckian-programme |
| wisemotif | https://github.com/topics/wisemotif |
| grothendieckian-machine | https://github.com/topics/grothendieckian-machine |
| https://github.com/AlienMuse/grothendieckian-problems |
| AlienMuse | https://github.com/AlienMuse |
| grothendieckian-problems | https://github.com/AlienMuse/grothendieckian-problems |
|
Star
1
| https://github.com/login?return_to=%2FAlienMuse%2Fgrothendieckian-problems |
|
Code
| https://github.com/AlienMuse/grothendieckian-problems |
|
Issues
| https://github.com/AlienMuse/grothendieckian-problems/issues |
|
Pull requests
| https://github.com/AlienMuse/grothendieckian-problems/pulls |
|
Discussions
| https://github.com/AlienMuse/grothendieckian-problems/discussions |
| benchmark | https://github.com/topics/benchmark |
| theorem-proving | https://github.com/topics/theorem-proving |
| mathematics | https://github.com/topics/mathematics |
| artificial-intelligence | https://github.com/topics/artificial-intelligence |
| proof-assistant | https://github.com/topics/proof-assistant |
| open-access | https://github.com/topics/open-access |
| formal-verification | https://github.com/topics/formal-verification |
| topos-theory | https://github.com/topics/topos-theory |
| open-problems | https://github.com/topics/open-problems |
| automated-reasoning | https://github.com/topics/automated-reasoning |
| grothendieck | https://github.com/topics/grothendieck |
| mathlib | https://github.com/topics/mathlib |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| lean4 | https://github.com/topics/lean4 |
| mathematical-ai | https://github.com/topics/mathematical-ai |
| ai-for-math | https://github.com/topics/ai-for-math |
| recursive-discovery | https://github.com/topics/recursive-discovery |
| grothendieckian-programme | https://github.com/topics/grothendieckian-programme |
| wisemotif | https://github.com/topics/wisemotif |
| grothendieckian-machine | https://github.com/topics/grothendieckian-machine |
| AlienMuse | https://github.com/AlienMuse |
| grothendiecklab | https://github.com/AlienMuse/grothendiecklab |
|
Star
1
| https://github.com/login?return_to=%2FAlienMuse%2Fgrothendiecklab |
|
Code
| https://github.com/AlienMuse/grothendiecklab |
|
Issues
| https://github.com/AlienMuse/grothendiecklab/issues |
|
Pull requests
| https://github.com/AlienMuse/grothendiecklab/pulls |
| github-pages | https://github.com/topics/github-pages |
| mathematics | https://github.com/topics/mathematics |
| artificial-intelligence | https://github.com/topics/artificial-intelligence |
| topos-theory | https://github.com/topics/topos-theory |
| grothendieck | https://github.com/topics/grothendieck |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| ai-for-math | https://github.com/topics/ai-for-math |
| grothendieckian-programme | https://github.com/topics/grothendieckian-programme |
| wisemotif | https://github.com/topics/wisemotif |
| grothendieckian-machine | https://github.com/topics/grothendieckian-machine |
| grothendieck-lab | https://github.com/topics/grothendieck-lab |
| https://github.com/AlienMuse/grothendieckian-programme |
| AlienMuse | https://github.com/AlienMuse |
| grothendieckian-programme | https://github.com/AlienMuse/grothendieckian-programme |
|
Star
1
| https://github.com/login?return_to=%2FAlienMuse%2Fgrothendieckian-programme |
|
Code
| https://github.com/AlienMuse/grothendieckian-programme |
|
Issues
| https://github.com/AlienMuse/grothendieckian-programme/issues |
|
Pull requests
| https://github.com/AlienMuse/grothendieckian-programme/pulls |
|
Discussions
| https://github.com/AlienMuse/grothendieckian-programme/discussions |
| mathematics | https://github.com/topics/mathematics |
| artificial-intelligence | https://github.com/topics/artificial-intelligence |
| open-access | https://github.com/topics/open-access |
| category-theory | https://github.com/topics/category-theory |
| formal-verification | https://github.com/topics/formal-verification |
| number-theory | https://github.com/topics/number-theory |
| monograph | https://github.com/topics/monograph |
| topos-theory | https://github.com/topics/topos-theory |
| grothendieck | https://github.com/topics/grothendieck |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| riemann-hypothesis | https://github.com/topics/riemann-hypothesis |
| arithmetic-geometry | https://github.com/topics/arithmetic-geometry |
| langlands-program | https://github.com/topics/langlands-program |
| hodge-conjecture | https://github.com/topics/hodge-conjecture |
| abc-conjecture | https://github.com/topics/abc-conjecture |
| birch-swinnerton-dyer | https://github.com/topics/birch-swinnerton-dyer |
| ai-for-math | https://github.com/topics/ai-for-math |
| recursive-discovery | https://github.com/topics/recursive-discovery |
| grothendieckian-programme | https://github.com/topics/grothendieckian-programme |
| grothendieckian-machine | https://github.com/topics/grothendieckian-machine |
| markvasin | https://github.com/markvasin |
| reasoning-in-artificial-neural-networks | https://github.com/markvasin/reasoning-in-artificial-neural-networks |
|
Star
0
| https://github.com/login?return_to=%2Fmarkvasin%2Freasoning-in-artificial-neural-networks |
|
Code
| https://github.com/markvasin/reasoning-in-artificial-neural-networks |
|
Issues
| https://github.com/markvasin/reasoning-in-artificial-neural-networks/issues |
|
Pull requests
| https://github.com/markvasin/reasoning-in-artificial-neural-networks/pulls |
| deep-learning | https://github.com/topics/deep-learning |
| artificial-neural-networks | https://github.com/topics/artificial-neural-networks |
| reasoning | https://github.com/topics/reasoning |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| katja-kolos | https://github.com/katja-kolos |
| foundation_models | https://github.com/katja-kolos/foundation_models |
|
Star
0
| https://github.com/login?return_to=%2Fkatja-kolos%2Ffoundation_models |
|
Code
| https://github.com/katja-kolos/foundation_models |
|
Issues
| https://github.com/katja-kolos/foundation_models/issues |
|
Pull requests
| https://github.com/katja-kolos/foundation_models/pulls |
| vqa | https://github.com/topics/vqa |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| llms | https://github.com/topics/llms |
| science-qa | https://github.com/topics/science-qa |
| bjoern-janson | https://github.com/bjoern-janson |
| correction-capable-adaptation | https://github.com/bjoern-janson/correction-capable-adaptation |
|
Star
0
| https://github.com/login?return_to=%2Fbjoern-janson%2Fcorrection-capable-adaptation |
|
Code
| https://github.com/bjoern-janson/correction-capable-adaptation |
|
Issues
| https://github.com/bjoern-janson/correction-capable-adaptation/issues |
|
Pull requests
| https://github.com/bjoern-janson/correction-capable-adaptation/pulls |
| ai-safety | https://github.com/topics/ai-safety |
| belief-revision | https://github.com/topics/belief-revision |
| machine-reasoning | https://github.com/topics/machine-reasoning |
| adaptive-systems | https://github.com/topics/adaptive-systems |
| self-correction | https://github.com/topics/self-correction |
| causal-reasoning | https://github.com/topics/causal-reasoning |
| belief-updating | https://github.com/topics/belief-updating |
| scientific-reasoning | https://github.com/topics/scientific-reasoning |
| epistemic-agency | https://github.com/topics/epistemic-agency |
| corrigibility | https://github.com/topics/corrigibility |
| recursive-improvement | https://github.com/topics/recursive-improvement |
| self-correction-ai | https://github.com/topics/self-correction-ai |
| evidence-integration | https://github.com/topics/evidence-integration |
| epistemic-updating | https://github.com/topics/epistemic-updating |
|
Learn more
| https://docs.github.com/en/articles/classifying-your-repository-with-topics |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |