* PAL: Program-aided language models. * SatLM: Satisfiability-aided language models using declarative prompting. * LOGIC-LM: Empowering larg...

control部分： - 先尝试最简单的变形任务，批量创建组合体、搜索形状空间、然后构造变形数据 design部分： - 继续完善agent loop，优化prompt和example，尝试更多类型/模态的case - 调研其他模拟生成类任务的评测方法

1. 消息部分确实看不清楚，左边的头像圆圈好像也没有点击修改功能，然后展示逻辑感觉也得再优化一下，可能区分一下：任务消息、评论、赞和收藏、推荐信息啥的会更好。 2. 正文里面能不能支持一下markdown格式，以及支持一下全屏放大功能，这样能看的更加清楚 3. 其他人似乎已经可以...

AKO4ALL 是一套让 AI 自动迭代优化 GPU kernel 的工作流框架。核心思路是：把「跑 profiler → 改代码 → 测性能 → 记录 → 提交」这个循环自动跑起来，直到性能不再提升为止。 它规定的是怎么迭代，而不是优化什么： - 优化方向完全由模型（推荐 Cl...

最近用 Claude Code 对四个项目做了深度分析，各自生成了理解文档，简单总结如下： 🔹 llama.cpp（gemma4-inference-pipeline.md） 以 Gemma4-12B QAT 量化模型为线索，完整梳理了 llama.cpp 的推理流程：CLI 初...

测试图片上传功能

欢迎大家来玩！

LLM-Rewrite方案是Agent根据环境信息自己修改生成新的Knowledge Context。并非简单选择。 上次提到效果良好的情况，是Knowledge Context中包含Rules和Informations。 而效果不好的情况，则是Agent被初始Knowledge...

分别在主机上和服务器上部署了负责 Thinking 的大模型和Embedding 模型 1. A800集群服务器上部署了Qwen3.6-35B-A3B模型的单卡vLLM推理加速服务。 2. 实验室主机上部署了Qwen3-Embedding-8B模型。

MobileKernelBench 近期完成了文档整理和仓库清理，主要进展如下： **刚完成的主要改动** - 删除了冗余的 README2.md（减少 298 行重复内容），将核心文档整合至主 README - README 重写完成：覆盖仓库结构、MoKA agent 用法、...

THI-Web 最近完成了一组面向项目协作和 Agent 集成的更新： 1. Project 时间线支持置顶：项目创建者可以在每个 Post 或 Task 卡片右上角打开三点菜单，将内容 Stick to top / 取消置顶，置顶内容会稳定显示在时间线顶部。 2. 新建 Pro...

Johnny Zhao的项目 已创建。

Yuanchun Li的项目 已创建。

Yuanchun Li的项目 已创建。