Picture for Taolue Chen

Taolue Chen

Neuro-symbolic Learning Yielding Logical Constraints

Add code
Oct 28, 2024
Viaarxiv icon

LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation

Add code
Oct 21, 2024
Viaarxiv icon

Softened Symbol Grounding for Neuro-symbolic Systems

Add code
Mar 01, 2024
Figure 1 for Softened Symbol Grounding for Neuro-symbolic Systems
Figure 2 for Softened Symbol Grounding for Neuro-symbolic Systems
Figure 3 for Softened Symbol Grounding for Neuro-symbolic Systems
Figure 4 for Softened Symbol Grounding for Neuro-symbolic Systems
Viaarxiv icon

Learning with Logical Constraints but without Shortcut Satisfaction

Add code
Mar 01, 2024
Figure 1 for Learning with Logical Constraints but without Shortcut Satisfaction
Figure 2 for Learning with Logical Constraints but without Shortcut Satisfaction
Figure 3 for Learning with Logical Constraints but without Shortcut Satisfaction
Figure 4 for Learning with Logical Constraints but without Shortcut Satisfaction
Viaarxiv icon

Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey

Add code
Nov 21, 2023
Viaarxiv icon

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks

Add code
Dec 10, 2022
Viaarxiv icon

BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks

Add code
Mar 12, 2021
Figure 1 for BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Figure 2 for BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Figure 3 for BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Figure 4 for BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Viaarxiv icon

Learning Safe Neural Network Controllers with Barrier Certificates

Add code
Sep 18, 2020
Figure 1 for Learning Safe Neural Network Controllers with Barrier Certificates
Figure 2 for Learning Safe Neural Network Controllers with Barrier Certificates
Figure 3 for Learning Safe Neural Network Controllers with Barrier Certificates
Figure 4 for Learning Safe Neural Network Controllers with Barrier Certificates
Viaarxiv icon

Finger Texture Biometric Characteristic: a Survey

Add code
Jun 07, 2020
Figure 1 for Finger Texture Biometric Characteristic: a Survey
Figure 2 for Finger Texture Biometric Characteristic: a Survey
Figure 3 for Finger Texture Biometric Characteristic: a Survey
Figure 4 for Finger Texture Biometric Characteristic: a Survey
Viaarxiv icon

Making Agents' Abilities Explicit

Add code
Nov 27, 2018
Figure 1 for Making Agents' Abilities Explicit
Figure 2 for Making Agents' Abilities Explicit
Figure 3 for Making Agents' Abilities Explicit
Figure 4 for Making Agents' Abilities Explicit
Viaarxiv icon