A Hybrid Framework for Financial Regulatory Compliance: Integrating LLMs and SMT Solvers for Automated Legal Analysis
Yung Shen Hsia, Fang Yu
AI Engineer & ML Specialist
Hi, I'm Vincent Hsia!
I am a Master's student in Management Information Systems at National Chengchi University, specializing in LLM System Engineering and Generative AI applications.
With a focus on moving AI from prototype to production, I have built and deployed agentic workflows and RAG-driven pipelines for document understanding and automated regulatory analysis. My expertise lies in bridging the gap between large language models and robust backend systems—integrating vector databases and verification loops to ensure system reliability and high-quality decision-making.
* Core AI & LLM Engineering:
* LLM Frameworks: AutoGen (Multi-Agent), LangChain, LlamaIndex, LiteLLM Proxy
* GenAI Paradigms: Agentic RAG (CRAG, Reranking), Agent-based Workflows, Prompt Engineering, LLM-as-a-Judge
* Model Optimization: Fine-tuning (LoRA), Model Context Protocol (MCP), Formal Verification (SMT Solvers)
* AI Frameworks: PyTorch, TensorFlow
* Software Engineering & Web:
* Languages: Python (Expert), JavaScript, C++
* Backend: FastAPI, Django, Flask, Jinja2, RESTful APIs
* Frontend: React.js, Angular.js, Chainlit UI (AI-Native Interface)
* Data Engineering: Apache Airflow, Multimodal ETL Pipelines, Data Ingestion/Extraction
* Database & Infrastructure:
* Vector/Graph DB: ChromaDB, Neo4j
* SQL/NoSQL: PostgreSQL, MySQL, MSSQL, MongoDB
* DevOps & Tools: Docker, Git, GitHub Actions (CI/CD), Make, GCP (Google Cloud Platform)
Yung Shen Hsia, Fang Yu
Yung Shen Hsia, Fang Yu, Jie-Hong Roland Jiang
Developed an autonomous Multi-Agent system using AutoGen and SMT Solvers to formalize carbon-credit regulations and optimize trading strategies with self-correcting logic.
Architected an interactive Multi-Agent system using SMT Solvers and Chainlit to transform financial regulations into logical constraints, enabling automated compliance optimization with human-in-the-loop flexibility.
Fine-tuned the LLaMA-7B model using LoRA on the PubMedQ&A dataset. We achieved 68% accuracy and 51% F1 score during evaluation.
在碩士這兩年期間累積了一些面試經驗,因為不排斥任何跟資訊相關的職位也不排斥任何產業,所以只要認為有相關的就直接海投,一些OA沒過沒有收到面邀或是小公司就不列舉在上面,個人背景可以到首頁觀看~
這個 AI Chatbot 的核心理念,是打造一個有知識邊界、能理解上下文的站內 AI 助理。系統會先從網站內容中檢索相關資訊,再交給模型生成回答,讓回覆更可控,也更貼近真實內容。
簡單記錄一下這個網站是怎麼做起來的,還有我為什麼選這套技術。