-
University of Trieste
- Udine 33100 - Italy
-
05:05
(UTC -12:00) - https://www.units.it/
- in/cristian-curaba
- https://cristian-curaba.github.io/
Highlights
- Pro
Block or Report
Block or report Cristian-Curaba
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Deep learning for dummies. All the practical details and useful utilities that go into working with real models.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Benchmarks for the Evaluation of LLM Supervision
Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.
Theoretical and practical introduction to the Tamarin Prover through a real-world case study on the Needham Schroeder protocol
Beginner-friendly seminar about the work of Basin D. et Al. on formalizing social engineering attacks in the symbolic model
fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
Implementation of Toolformer, Language Models That Can Use Tools, by MetaAI
DSPy: The framework for programming—not prompting—foundation models
[AI Agent Application Development Framework] - 🚀 Build AI agent native application in very few code 💬 Easy to interact with AI agent in code using structure data and chained-calls syntax 🧩 Enhance …
A programming framework for agentic AI. Discord: https://aka.ms/autogen-dc. Roadmap: https://aka.ms/autogen-roadmap
A repo lists papers related to LLM based agent
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Personal thoughts and research on AGI
Cristian-Curaba / RealEstateSalesPricesEstimation
Forked from enstit/RealEstateSalesPricesEstimationStatistical study project for estimating Sales Prices of Iranian Real Estate Buildings.
Cristian-Curaba / TPCHBenchmark
Forked from enstit/TPCHBenchmarkEfficient implementation of a suite of business oriented ad-hoc queries over the public TPC-H benchmark
Project for Reinforcement Learning course in master degree Data Science and Scientific Computing - Units.