Image de couverture de livre

FuzzyLogic.jl: a Flexible Library for Efficient and Productive Fuzzy Inference

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ferranti, Luca, Boutellier, Jani
Format:	Preprint
Publié:	2023
Sujets:	Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Herb.jl: A Unifying Program Synthesis Library
par: Hinnerichs, Tilman, et autres
Publié: (2025)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
par: Dong, Yixin, et autres
Publié: (2024)

Fuzzy Reasoning Chain (FRC): An Innovative Reasoning Framework from Fuzziness to Clarity
par: Chen, Ping, et autres
Publié: (2025)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
par: Lee, Yanggyu, et autres
Publié: (2024)

Inference Plans for Hybrid Particle Filtering
par: Cheng, Ellie Y., et autres
Publié: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
par: Rustenholz, Louis, et autres
Publié: (2024)

Enhanced Sentiment Interpretation via a Lexicon-Fuzzy-Transformer Framework
par: Rokhva, Shayan, et autres
Publié: (2025)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
par: Li, Minda, et autres
Publié: (2026)

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
par: Papoulias, Nick
Publié: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in Large Language Models
par: Li, Yiyuan, et autres
Publié: (2024)

Algorithmic Language Models with Neurally Compiled Libraries
par: Saldyt, Lucas, et autres
Publié: (2024)

Probabilistic Programming with Programmable Variational Inference
par: Becker, McCoy R., et autres
Publié: (2024)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
par: Xu, Zhenyu, et autres
Publié: (2024)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
par: Irugalbandara, Chandra
Publié: (2024)

JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models
par: Nandakishore, Gowthamkumar
Publié: (2026)

BODHI: Precise OS Kernel Specification Inference
par: Chang, Zhiming, et autres
Publié: (2026)

LLM-as-a-Fuzzy-Judge: Fine-Tuning Large Language Models as a Clinical Evaluation Judge with Fuzzy Logic
par: Zheng, Weibing, et autres
Publié: (2025)

A Fuzzy Evaluation of Sentence Encoders on Grooming Risk Classification
par: Bihani, Geetanjali, et autres
Publié: (2025)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

LightCode: Compiling LLM Inference for Photonic-Electronic Systems
par: Tomich, Ryan, et autres
Publié: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
par: Bollig, Benedikt
Publié: (2026)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
par: Dong, Honghua, et autres
Publié: (2025)

Evaluating Language Models on Grooming Risk Estimation Using Fuzzy Theory
par: Bihani, Geetanjali, et autres
Publié: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
par: Shen, Chen, et autres
Publié: (2026)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
par: Bogdanov, Eli, et autres
Publié: (2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
par: Casas-Ramos, Jacobo, et autres
Publié: (2025)

A Dynamic Fuzzy Rule and Attribute Management Framework for Fuzzy Inference Systems in High-Dimensional Data
par: Liu, Ke, et autres
Publié: (2025)

TimeStampEval: A Simple LLM Eval and a Little Fuzzy Matching Trick to Improve Search Accuracy
par: McCammon, James
Publié: (2025)

FLORA: Unsupervised Knowledge Graph Alignment by Fuzzy Logic
par: Peng, Yiwen, et autres
Publié: (2025)

UNFIS: A Novel Neuro-Fuzzy Inference System with Unstructured Fuzzy Rules for Classification
par: Salimi-Badr, Armin
Publié: (2022)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
par: Le-Cong, Thanh, et autres
Publié: (2025)

Fuzzy Fingerprinting Encoder Pre-trained Language Models for Emotion Recognition in Conversations: Human Assessment and Validity Study
par: Pereira, Patrícia, et autres
Publié: (2026)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

A Fuzzy Approach to Project Success: Measuring What Matters
par: Granja-Correia, João, et autres
Publié: (2025)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code
par: Grand, Gabriel, et autres
Publié: (2023)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
par: Candussio, Sara, et autres
Publié: (2025)