Lean 4 programming language and theorem proverThis is the repository for Lean 4. We provide nightly releases and have just begun regular stable point releases. About Quickstart Walkthrough installation video Quick tour video Homepage Theorem Proving Tutorial Functional Programming in Lean Manual Release notes starting at v4.0.0-m3 Examples External Contribution Guidelines FAQ Installation See Setting Up Lean. Contributing Please read our Contribution Guidelines first. Building from Source See…
Robust recipes for to align language models with human and AI preferencesThe Alignment Handbook Robust recipes to align language models with human and AI preferences. What is this? Just one year ago, chatbots were out of fashion and most people hadn't heard about techniques like Reinforcement Learning from Human Feedback (RLHF) to align language models with human preferences. Then, OpenAI broke the internet with ChatGPT and Meta followed suit by releasing the Llama series of language models…
🔥 Enterprise SaaS Starter Kit - Kickstart your enterprise app development with the Next.js SaaS boilerplate 🚀 Participating in ⬆️ Take a look at our Issues ⬆️ ⭐ Enterprise SaaS Starter Kit The Open Source Next.js SaaS boilerplate for Enterprise SaaS app development. Please star ⭐ the repo if you want us to continue developing and improving the SaaS Starter Kit! 😀 📖 Additional Resources Video - BoxyHQ's SaaS Starter Kit: Your Ultimate En…
Intro In this repository you'll find the fully reversed source code for GTA III (master branch) and GTA VC (miami branch). It has been tested and works on Windows, Linux, MacOS and FreeBSD, on x86, amd64, arm and arm64. Rendering is handled either by original RenderWare (D3D8) or the reimplementation librw (D3D9, OpenGL 2.1 or above, OpenGL ES 2.0 or above). Audio is done with MSS (using dlls from original GTA) or OpenAL. The project has also been ported to the Nintendo Switch, Playstati…
Sistema Open Source para Identificar potenciales fraudes electorales, minimizar su ocurrencia e impacto. 🦁 Sistema-Anti-Fraude-Electoral 🦁 Este es un proyecto Open Source (código libre) cuyo objetivo es minimizar y detectar la posibilidad de fraude electoral en las próximas elecciones presidenciales de Argentina donde se define finalmente quien será presidente. La intención de crear este sistema es mantener y preservar la democracia y la transparencia al pueblo argentino. Indice 🦁 Sistema-Anti…
ChatGLM3 series: Open Bilingual Chat LLMs | 开源双语对话语言模型ChatGLM3 🤗 HF Repo • 🤖 ModelScope • 🐦 Twitter • 📃 [GLM@ACL 22] [GitHub] • 📃 [GLM-130B@ICLR 23] [GitHub] 👋 加入我们的 Slack 和 WeChat 📍在 chatglm.cn 体验更大规模的 ChatGLM 模型。 介绍 ChatGLM3 是智谱AI和清华大学 KEG 实验室联合发布的新一代对话预训练模型。ChatGLM3-6B 是 ChatGLM3 系列中的开源模型，在保留了前两代模型对话流畅、部署门槛低等众多优秀特性的基础上，ChatGLM3-6B 引入了如下特性： 更强大的基础模型： ChatGLM3-6B 的基础模型 ChatGLM3-6B-Base 采用了更多样的训练数据、更充分的训练步数和更合理的训练策略。在语义、数学、推理、代码、知识等不同角度的数据集上测评显示，ChatGLM3-6B-Base 具有在 10B 以下的基础模型中最强的…
Dagor Engine and Tools source code from Gaijin Games KFT
国内首个测试行业大模型工具，体验AIGC为测试领域带来的变革！Test-Agent: 您的智能测试助理 本地Mac M1体验效果 魔搭体验效果 魔搭模型访问链接：ModelScope TestGPT-7B 什么是Test Agent？（Introduction） Test Agent 旨在构建测试领域的“智能体”，融合大模型和质量领域工程化技术，促进质量技术代系升级。我们期望和社区成员一起合作，打造创新的测试领域解决方案，构建24小时在线的测试助理服务，让测试如丝般顺滑。 本期特性（Features） 模型 本期我们开源了测试领域模型TestGPT-7B。模型以CodeLlama-7B为基座，进行了相关下游任务的微调： 多语言测试用例生成（Java/Python/Javascript） 一直以来都是学术界和工业界非常关注的领域，近年来不断有新产品或工具孵化出来，如EvoSuite、Randoop、SmartUnit等。然而传统…
Official implementation of DreamCraft3D: Hierarchical 3D Generation with Bootstrapped Diffusion PriorDreamCraft3D Paper | Project Page | Youtube video Official implementation of DreamCraft3D: Hierarchical 3D Generation with Bootstrapped Diffusion Prior Jingxiang Sun, Bo Zhang, Ruizhi Shao, Lizhen Wang, Wen Liu, Zhenda Xie, Yebin Liu Code will come soon. Abstract: We present DreamCraft3D, a hierarchical 3D content generation method that produces high-fidelity and coherent 3D objects. We tackle t…