Picture for Remo Pareschi

Remo Pareschi

Abductive Reasoning with the GPT-4 Language Model: Case studies from criminal investigation, medical practice, scientific research

Add code
Jul 17, 2023
Viaarxiv icon

A formal model for ledger management systems based on contracts and temporal logic

Add code
Sep 30, 2021
Figure 1 for A formal model for ledger management systems based on contracts and temporal logic
Figure 2 for A formal model for ledger management systems based on contracts and temporal logic
Viaarxiv icon

Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading

Add code
Aug 27, 2021
Figure 1 for Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
Figure 2 for Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
Figure 3 for Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
Figure 4 for Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
Viaarxiv icon