-
最近の投稿
- Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments
- ‘Don’t Do That!’: Guiding Embodied Systems through Large Language Model-based Constraint Generation
- SGN-CIRL: Scene Graph-based Navigation with Curriculum, Imitation, and Reinforcement Learning
- Olfactory Inertial Odometry: Sensor Calibration and Drift Compensation
- Chronoamperometry with Room-Temperature Ionic Liquids: Sub-Second Inference Techniques
-
最近のコメント
表示できるコメントはありません。 cs.AI (39257) cs.CL (29715) cs.CV (44646) cs.HC (2989) cs.LG (44171) cs.RO (23444) cs.SY (3577) eess.IV (5131) eess.SY (3569) stat.ML (5743)
「I.2.3」カテゴリーアーカイブ
Vague Knowledge: Evidence from Analyst Reports
要約 現実の世界の人々は、しばしば将来の見返りに関するあいまいな知識を持っていま … 続きを読む
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
要約 MINICALCは、最小限のシーケント計算に基づいて1次ロジックを教えるた … 続きを読む
Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers
要約 トランスフォーマーは多数のNLPタスクで大きな成功を収めていますが、特に実 … 続きを読む
Grokking in the Wild: Data Augmentation for Real-World Multi-Hop Reasoning with Transformers
要約 トランスフォーマーは多数のNLPタスクで大きな成功を収めていますが、特に実 … 続きを読む
Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level
要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む
Galois groups of polynomials and neurosymbolic networks
要約 この論文では、代数の基礎分野の 1 つであるガロア理論を、機械学習のレンズ … 続きを読む
A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)
要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む
A logic for reasoning with inconsistent knowledge — A reformulation using nowadays terminology (2024)
要約 多くの状況で、人間は一貫性のない知識をもとに推論しなければなりません。 こ … 続きを読む
DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
要約 ニューラル言語モデルの急速な進歩に伴い、過剰にパラメータ化されたモデルの導 … 続きを読む
Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers
要約 この論文では、完全接続フィードフォワード ニューラル ネットワーク (FF … 続きを読む