Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ferranti, Luca, Boutellier, Jani
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Herb.jl: A Unifying Program Synthesis Library
by: Hinnerichs, Tilman, et al.
Published: (2025)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
by: Dong, Yixin, et al.
Published: (2024)

Fuzzy Reasoning Chain (FRC): An Innovative Reasoning Framework from Fuzziness to Clarity
by: Chen, Ping, et al.
Published: (2025)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
by: Lee, Yanggyu, et al.
Published: (2024)

Inference Plans for Hybrid Particle Filtering
by: Cheng, Ellie Y., et al.
Published: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
by: Rustenholz, Louis, et al.
Published: (2024)

Enhanced Sentiment Interpretation via a Lexicon-Fuzzy-Transformer Framework
by: Rokhva, Shayan, et al.
Published: (2025)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
by: Li, Minda, et al.
Published: (2026)

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
by: Papoulias, Nick
Published: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)

FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in Large Language Models
by: Li, Yiyuan, et al.
Published: (2024)

Algorithmic Language Models with Neurally Compiled Libraries
by: Saldyt, Lucas, et al.
Published: (2024)

Probabilistic Programming with Programmable Variational Inference
by: Becker, McCoy R., et al.
Published: (2024)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
by: Xu, Zhenyu, et al.
Published: (2024)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
by: Irugalbandara, Chandra
Published: (2024)

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

BODHI: Precise OS Kernel Specification Inference
by: Chang, Zhiming, et al.
Published: (2026)

LLM-as-a-Fuzzy-Judge: Fine-Tuning Large Language Models as a Clinical Evaluation Judge with Fuzzy Logic
by: Zheng, Weibing, et al.
Published: (2025)

A Fuzzy Evaluation of Sentence Encoders on Grooming Risk Classification
by: Bihani, Geetanjali, et al.
Published: (2025)

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

LightCode: Compiling LLM Inference for Photonic-Electronic Systems
by: Tomich, Ryan, et al.
Published: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
by: Bollig, Benedikt
Published: (2026)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
by: Dong, Honghua, et al.
Published: (2025)

Evaluating Language Models on Grooming Risk Estimation Using Fuzzy Theory
by: Bihani, Geetanjali, et al.
Published: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
by: Shen, Chen, et al.
Published: (2026)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
by: Bogdanov, Eli, et al.
Published: (2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

A Dynamic Fuzzy Rule and Attribute Management Framework for Fuzzy Inference Systems in High-Dimensional Data
by: Liu, Ke, et al.
Published: (2025)

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

FLORA: Unsupervised Knowledge Graph Alignment by Fuzzy Logic
by: Peng, Yiwen, et al.
Published: (2025)

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

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
by: Le-Cong, Thanh, et al.
Published: (2025)

Fuzzy Fingerprinting Encoder Pre-trained Language Models for Emotion Recognition in Conversations: Human Assessment and Validity Study
by: Pereira, Patrícia, et al.
Published: (2026)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
by: Nerode, Anil, et al.
Published: (2024)

A Fuzzy Approach to Project Success: Measuring What Matters
by: Granja-Correia, João, et al.
Published: (2025)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code
by: Grand, Gabriel, et al.
Published: (2023)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
by: Candussio, Sara, et al.
Published: (2025)