200+ open problems in mathematics investigated by AI agents — proofs, disproofs, counterexamples, exact certificates, and AI-proposed conjectures. From answer generation to research-agenda generation.
☆20Sep 16, 2026Updated last month
Alternatives and similar repositories for AI-Has-Taste
Users that are interested in AI-Has-Taste are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Oct 26, 2026Updated 2 weeks ago
- This is the code for the paper "A Scalable Neural Network for DSIC Affine Maximizer" in NeurIPS 2023.☆12Oct 21, 2023Updated 3 years ago
- Implementation of A Context-Integrated Transformer-Based Neural Network for Auction Design (ICML2022).☆19Jun 30, 2022Updated 4 years ago
- Recursive Abstractive Processing for Tree-Organized Retrieval☆10May 30, 2024Updated 2 years ago
- Python xml.sax☆10Mar 19, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- First complete benchmark for Generative Engine Marketing (GEM), an emerging field that focuses on monetizing generative AI by seamlessly …☆20Jul 4, 2026Updated 4 months ago
- Code for the paper "Multi-view Tensor Graph Neural Networks Through Reinforced Aggregation"☆12Mar 4, 2023Updated 3 years ago
- 本项目支持小红书 / Rednote 总浏览量、点赞量、收藏量、评论数、转发数一键查询。忽略小红书创作服务平台半年限制，支持所有笔记数据的导出，支持展示个人主页历史浏览量 Top 10 笔记。 登录创作服务平台并打开笔记管理页面后，扩展会读取当前账号的全部笔记，在浏览器本…☆23Oct 10, 2026Updated last month
- Implementation of Cascaded Head-colliding Attention (ACL'2021)☆11Sep 16, 2021Updated 5 years ago
- Implementing DQNClipped and DQNReg Algorithms☆10Mar 2, 2021Updated 5 years ago
- ☆13Oct 16, 2024Updated 2 years ago
- ☆10Mar 21, 2021Updated 5 years ago
- Drugbank.ca xml file converted to a mysql database☆10Apr 28, 2015Updated 11 years ago
- This is the repository for the NeurIPS-21 paper [Contrastive Graph Poisson Networks: Semi-Supervised Learning with Extremely Limited Labe…☆12Feb 28, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is a mirror of the latest stable version of CoMISo☆12Apr 6, 2023Updated 3 years ago
- ProfitPilot closes deals for you effortlessly 24/7, just provide a list of customer and ProfitPilot will reach out on your behalf and clo…☆21Sep 7, 2023Updated 3 years ago
- Quick preview of DLL and EXE files☆11Jun 19, 2023Updated 3 years ago
- A PHP utility library☆16Apr 27, 2023Updated 3 years ago
- FML-bench☆36Jun 26, 2026Updated 4 months ago
- A curated list of mathematical proofs generated by artificial intelligent systems, verified by automated theorem prover, and a list of su…☆15Oct 17, 2026Updated 3 weeks ago
- An AI Agent Skill powered by classic trading books and personal investment knowledge for A-Share market analysis. (一个由经典交易书籍和个人投资知识驱动的 AI…☆20Jun 26, 2026Updated 4 months ago
- ☆14Aug 27, 2019Updated 7 years ago
- ChatPaperPlus☆11Mar 13, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆27Oct 13, 2026Updated 3 weeks ago
- The source code of the paper "SHGNN: Structure-Aware Heterogeneous Graph Neural Network"☆14Dec 14, 2021Updated 4 years ago
- ☆12Nov 8, 2022Updated 4 years ago
- [DMKD-ECMLPKDD] Personalised Meta-path Generation for Heterogeneous Graph Neural Networks (https://arxiv.org/abs/2010.13735)☆11Mar 20, 2023Updated 3 years ago
- ☆13Nov 22, 2022Updated 3 years ago
- Pylab-style utilities for PyTorch and Matplotlib, among others.☆16Oct 24, 2026Updated 2 weeks ago
- ☆14Mar 11, 2022Updated 4 years ago
- 面向 Agent CLI 的生产级 AI 应用脚手架，一句话生成 RAG、Agent、评测、可观测性、Docker 和编码助手上下文。☆14May 14, 2026Updated 5 months ago
- ☆13Oct 18, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 豆瓣影评&京东商品评论的爬取和LDA分析☆12Dec 2, 2017Updated 8 years ago
- A minicap driver for Node.☆15Aug 15, 2020Updated 6 years ago
- Bachelor Thesis: Real-time Neural Radiance Caching in Heterogeneous Participating Media☆17Sep 9, 2024Updated 2 years ago
- Experimental plugin for asyncomplete.vim and tabnine☆13Jan 26, 2022Updated 4 years ago
- ☆12Nov 3, 2023Updated 3 years ago
- ☆14Aug 18, 2026Updated 2 months ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
Are these results useful?