LFORM关键词检索结果

BoolFormer:具有变压器逻辑函数的符号回归

Boolformer: Symbolic Regression of Logic Functions with Transformers

本文在ICML 2025的第二个AI上接受了数学研讨会。我们介绍了BoolFormer,这是一种基于变压器的模型,该模型训练有素,旨在执行布尔函数的端到端符号回归。首先,我们证明它可以预测鉴于其完整的真相表,可以预测训练期间未见的复杂功能的紧凑型公式。然后,我们证明,即使有不完整或嘈杂的观察,Boolformer仍然能够找到良好的近似表达式。我们在广泛的现实二进制分类数据集上评估了布尔形式,证明了其作为可解释的替代方案的潜力……

[植物学•2019] Clinanthus forfatus&Ismene Parviflora•秘鲁安卡什(Ancash)的Amaryllidaceae的分类新颖性,秘鲁,以及Clinanthus 5的新组合

[Botany • 2019] Clinanthus inflatus & Ismene parviflora • Taxonomic Novelties in Amaryllidaceae from the Department of Ancash, Peru, and A New Combination in Clinanthus

Ismene Parviflora和Clinanthus fortatus Meerow和A.Canoin Meerow et Cano,2019年。DOI:10.3897/Phytokeys.131.36160abstractclinanthus forfatus forfatus and Ismene Parviflora(Amaryllidaceae)。 Forpatus C. c. coperate是乌尔氏菌的花,类似于Urceolina(Amaryllidaceaetr。Eucharideae)的花,这是该属的独特形态。 Ismene Parviflora的小,松散形成的,狭窄的fu

TinyAgent:边缘函数调用

TinyAgent: Function Calling at the Edge

LLM 能够通过普通语言(例如英语)执行命令,这使得代理系统能够通过协调正确的工具集(例如 ToolFormer、Gorilla)来完成用户查询。这与最近的多模式努力(例如 GPT-4o 或 Gemini-1.5 模型)一起扩大了 AI 代理的可能性范围。虽然这非常令人兴奋,但这些模型的模型大小和计算要求通常要求在云端进行推理。这可能会给它们的广泛采用带来一些挑战。首先,将视频、音频或文本文档等数据上传到云端的第三方供应商可能会导致隐私问题。其次,这需要云/Wi-Fi 连接,而这并不总是可行的。例如,部署在现实世界中的机器人可能并不总是有稳定的连接。除此之外,延迟也可能是一个问题,因为将大量数

#265 – Devon Larratt:掰腕子

#265 – Devon Larratt: Arm Wrestling

德文·拉拉特 (Devon Larratt) 是一名职业腕力运动员,被广泛认为是有史以来最优秀的腕力运动员之一。请查看我们的赞助商来支持此播客:- Allform:https://allform.com/lex 可获得 20% 折扣- Eight Sleep:https://www.eightsleep.com/lex 并使用代码 LEX 可获得特别优惠- InsideTracker:https://insidetracker.com/lex 并使用代码 Lex25 可获得 25% 折扣- ExpressVPN:https://expressvpn.com/lexpod 并使用代码 LexPo

#238 – 弗朗西斯·柯林斯:美国国立卫生研究院 (NIH)

#238 – Francis Collins: National Institutes of Health (NIH)

弗朗西斯·柯林斯是美国国立卫生研究院院长,曾任人类基因组计划负责人。请查看我们的赞助商来支持此播客:- Ten Thousand:https://www.tenthousand.cc/ 并使用代码 LEX 获得 15% 的折扣- Allform:https://allform.com/lex 获得 20% 的折扣- SimpliSafe:https://simplisafe.com/lex 并使用代码 LEX 获得免费安全摄像头- NI:https://www.ni.com/perspectives- Magic Spoon:https://magicspoon.com/lex 并使用代码 L

#224 – Travis Oliphant:NumPy、SciPy、Anaconda、Python 和科学编程

#224 – Travis Oliphant: NumPy, SciPy, Anaconda, Python & Scientific Programming

Travis Oliphant 是一名数据科学家、企业家以及 NumPy、SciPy 和 Anaconda 的创造者。请查看我们的赞助商来支持此播客:- Novo:https://banknovo.com/lex- Allform:https://allform.com/lex 可享受 20% 的折扣- Onnit:https://lexfridman.com/onnit 可享受高达 10% 的折扣- Athletic Greens:https://athleticgreens.com/lex 并使用代码 LEX 可获得 1 个月的鱼油- Blinkist:https://blinkist.c

#204 – Cumrun Vafa:弦理论

#204 – Cumrun Vafa: String Theory

Cumrun Vafa 是哈佛大学的理论物理学家。请查看我们的赞助商来支持此播客:- Headspace:https://headspace.com/lex 可获得 1 个月的免费试用期- Jordan Harbinger Show:https://www.youtube.com/thejordanharbingershow- Squarespace:https://lexfridman.com/squarespace 并使用代码 LEX 可获得 10% 的折扣- Allform:https://allform.com/lex 可获得 20% 的折扣剧集链接:Cumrun 的 Twitter:

#192 – Charles Hoskinson:卡尔达诺

#192 – Charles Hoskinson: Cardano

Charles Hoskinson 是 Cardano 的创始人、以太坊的联合创始人、数学家和农民。请查看我们的赞助商来支持此播客:- Gala Games:https://gala.games/lex- Allform:https://allform.com/lex 可获得 20% 的折扣- Indeed:https://indeed.com/lex 可获得 75 美元信用额度- ExpressVPN:https://expressvpn.com/lexpod 并使用代码 LexPod 可免费获得 3 个月- Eight Sleep:https://www.eightsleep.com/le

#179 – Georges St-Pierre:格斗科学

#179 – Georges St-Pierre: The Science of Fighting

乔治·圣皮埃尔是一位武术家。请查看我们的赞助商来支持此播客:- Allform:https://allform.com/lex 可获得 20% 的折扣- ExpressVPN:https://expressvpn.com/lexpod 并使用代码 LexPod 可免费获得 3 个月- Blinkist:https://blinkist.com/lex 并使用代码 LEX 可获得 25% 的高级折扣- Theragun:https://theragun.com/lex 可获得 30 天试用版- The Information:https://theinformation.com/lex 可获得首

#172 – Ryan Schiller:Librex 和大学校园的自由思想交流

#172 – Ryan Schiller: Librex and the Free Exchange of Ideas on College Campuses

Ryan Schiller 是 Librex 的创建者,Librex 是一个面向大学社区的匿名讨论源。请查看我们的赞助商来支持此播客:- Allform:https://allform.com/lex 可获得 20% 折扣- Magic Spoon:https://magicspoon.com/lex 并使用代码 LEX 可获得 5 美元折扣- BetterHelp:https://betterhelp.com/lex 可获得 10% 折扣- Brave:https://brave.com/lex 剧集链接:Librex 应用程序:https://librexapp.com/PODCAST 信