LaTeX
PulseAugur coverage of LaTeX — every cluster mentioning LaTeX across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
AI开发者面临TLA+系统设计,引发工程师担忧
TLA+正被引入作为AI开发者的工具,旨在简化复杂系统的创建。然而,它与LaTeX的相似性引起了工程师的担忧。虽然AI模型可以生成TLA+代码,但用户仍需负责理解和验证其功能。
-
评估RAG和微调方法以实现LLM知识接地
研究人员正在探索将大型语言模型(LLM)接地到特定知识领域的先进方法。一种方法是对LaTeX源代码进行预处理,以创建适合检索增强生成(RAG)的AI友好格式,从而保留PDF转换中丢失的结构和语义信息。同时,研究正在评估RAG与微调在工业问答系统(尤其是在汽车领域)中的成本效益。研究结果表明,虽然高端模型最初表现出色,但开源模型可以通过RAG达到相当的质量,使其成为总体上更有效的适应方法。
-
CodeTrendy 发布免费的 Markdown 转 PDF、Word、HTML 转换器
CodeTrendy 发布了一款新的在线工具,可将 Markdown 文件转换为 PDF、Word 和 HTML 格式。这项免费增值服务支持 GitHub Flavored Markdown 和 LaTeX 数学公式,提供快速准确的转换体验。
-
LaTA autograder uses local LLM to grade STEM coursework compliantly
Researchers have developed LaTA, an open-source autograder that uses a local LLM to grade STEM coursework without sending student data to third-party APIs. This FERPA-compliant system runs on commodity hardware and inte…
-
人工智能分析城市交通,对STEM论文评分,中国AI实验室进行创新
俄勒冈州立大学开发了LaTA,一个符合FERPA的本地LLM自动评分器,旨在简化STEM教育。该系统允许在校园硬件上进行安全、零成本的评分,且不改变现有的LaTeX工作流程,显著减少了评分时间。此外,利用人工智能的智能闭路电视系统在城市安全方面显示出潜力,一项研究表明明尼阿波利斯的车速降低了23%。与此同时,中国的AI生态系统正受到关注,DeepSeek因其协作方法而受到赞扬,这与西方模型形成了对比。
-
新的基准测试评估PDF解析器提取数学公式的能力
研究人员开发了一个新的框架,用于评估文档解析器从PDF中提取数学公式的性能。该系统使用具有精确LaTeX地面真相的合成生成的PDF,并采用LLM作为裁判的方法来评估解析公式的语义等价性。在100个合成文档上评估超过20个解析器,揭示了显著的性能差异,为实践者提供了指导。
-
AI investment fails to improve basic word processing features like image captions
Despite significant investments in artificial intelligence, basic word processing functionalities like image captioning and placement in Microsoft Word remain unreliable. The author suggests that traditional typesetting…
-
TexOCR model reconstructs scientific PDFs into compilable LaTeX
Researchers have introduced TexOCR, a new benchmark and training corpus designed to improve Optical Character Recognition (OCR) models for reconstructing scientific documents into compilable LaTeX. Current OCR systems o…
-
New benchmarks and models push AI's ability to understand research papers and generate code
Researchers have developed two new frameworks for chart-to-code generation, aiming to improve the accuracy and versatility of converting visual data into executable scripts. One approach, Chart2NCode, introduces a datas…
-
Open-source projects enhance access to on-device AI
Two open-source projects aim to provide better interfaces for on-device AI, specifically Apple's Foundation Models. CyberWriter is a native macOS Markdown editor that integrates AI for writing assistance and knowledge b…
-
Eugene Yan migrates personal blog from WordPress to Jekyll for free hosting
Eugene Yan details his migration from WordPress to Jekyll for his personal blog, aiming for free hosting on GitHub Pages. He notes the successful integration of features like LaTeX support, collapsables, and syntax high…