import os import re import io from typing import List, Tuple, Union from pathlib import Path import gradio as gr import openai import pymupdf from docx import Document HF_TOKEN = os.environ.get("HF_TOKEN", None) LEPTON_API_TOKEN = os.environ.get("LEPTON_API_TOKEN", None) PROMPT = """ Given the following QUESTION, DOCUMENT and ANSWER you must analyze the provided answer and determine whether it is faithful to the contents of the DOCUMENT. The ANSWER must not offer new information beyond the context provided in the DOCUMENT. The ANSWER also must not contradict information provided in the DOCUMENT. Output your final verdict by strictly following this format: "PASS" if the answer is faithful to the DOCUMENT and "FAIL" if the answer is not faithful to the DOCUMENT. Show your reasoning. -- QUESTION (THIS DOES NOT COUNT AS BACKGROUND INFORMATION): {question} -- DOCUMENT: {document} -- ANSWER: {answer} -- Your output should be in JSON FORMAT with the keys "REASONING" and "SCORE": {{"REASONING": , "SCORE": }} """ EXAMPLES = [ { "emoji": "🎬", "question": "Who directed the film that Amanda Brooks starred in in 2007?", "document": '''Amanda Brooks (born June 22, 1981) is an actress who starred in the 2007 film "D-War" and in the 2006 film "Cut Off".D-War (Korean: 디워, released in North America as Dragon Wars: D-War), is a 2007 South Korean action-adventure fantasy film written and directed by Shim Hyung-rae, and starring Jason Behr, Amanda Brooks, Robert Forster, and Elizabeth Peña.''', "answer": "The film that Amanda Brooks starred in was directed by Steven Spielberg." }, { "emoji": "🎾", "question": "Who lost to Petrova in the Australian Open?", "document": "Coming off their road win over the Redskins, the Chiefs went home, donned their Dallas Texans throwbacks, and played a Week 7 AFL Legacy game with the San Diego Chargers. Kansas City would find themselves trailing in the first quarter as Chargers quarterback Philip Rivers completed a 3-yard touchdown pass to wide receiver Malcom Floyd, followed by a 10-yard touchdown pass to wide receiver Vincent Jackson. San Diego would add onto their lead in the second quarter with a 20-yard and a 39-yard field goal from kicker Nate Kaeding. The Chiefs would get onto the board in the third quarter with quarterback Matt Cassel completing a 7-yard touchdown pass to wide receiver Dwayne Bowe, but the Chargers kept their momentum going with Rivers finding running back Darren Sproles on a 58-yard touchdown pass. In the fourth quarter, San Diego sealed the win with Kaeding's 19-yard field goal and fullback Jacob Hester recovering a blocked punt in the end zone for a touchdown. With the loss, Kansas City went into their bye week at 1-6. Larry Johnson was suspended for two weeks after he made offensive comments about Todd Haley and made offensive comments about homosexuals on Twitter and in public.", "answer": "['Maria Sharapova', 'Venus Williams', 'Svetlana Kuznetsova']" }, { "emoji": "⛪️", "question": "Whose Apology was rejected by Charles V?", "document": "In the course of the Lutheran Reformation numerous Imperial States had adopted the new confession, against the opposition of the ruling Catholic House of Habsburg, who recognised these conversions as a quest for increasing autonomy to the detriment of the central Imperial authority. At the 1521 Diet of Worms Emperor Charles V had Martin Luther banned and the proliferation of his writings prohibited, which in 1529 provoked the Protestation at Speyer by several Lutheran estates. The tensions culminated to an open conflict over the Lutheran Augsburg Confession of 1530, the Apology of which, written by Philipp Melanchthon, was rejected by the Emperor. In turn several Lutheran states led by Elector John Frederick I of Saxony and Landgrave Philip I of Hesse met at the town of Schmalkalden, where they established the Schmalkaldic League in 1531. In 1544 Charles V returned to Germany from the Italian War after he had signed the Treaty of Crépy and began to forge alliances not only with Pope Paul III but also with Lutheran princes, foremost with Duke Maurice of Saxony, the Albertine cousin of Saxon Elector John Frederick I. In view of the Emperor's preparations for battle, the Schmalkaldic leaders on 4 July 1546 gathered at Ichtershausen and agreed that a preventive strike would be advisable, as long as Charles V had not concentrated a significant amount of mercenaries. The Emperor gathered an army of around 52,000 men for his campaign, that was to start on the Danube.", "answer": "Martin Luther" }, { "emoji": "🪖", "question": "What battle started first: Battle of Vienna or Battle of Mohács?", "document": "The Siege of Vienna in 1529 was the first attempt by the Ottoman Empire, led by Suleiman the Magnificent, to capture the city of Vienna, Austria. The siege signalled the pinnacle of the Ottoman Empire's power and the maximum extent of Ottoman expansion in central Europe. Thereafter, 150 years of bitter military tension and reciprocal attacks ensued, culminating in the Battle of Vienna of 1683, which marked the start of the 15-year-long Great Turkish War. The inability of the Ottomans to capture Vienna in 1529 turned the tide against almost a century of conquest throughout eastern and central Europe. The Ottoman Empire had previously annexed Central Hungary and established a vassal state in Transylvania in the wake of the Battle of Mohács. According to Arnold J. Toynbee, 'The failure of the first brought to a standstill the tide of Ottoman conquest which had been flooding up the Danube Valley for a century past.' There is speculation by some historians that Suleiman's main objective in 1529 was actually to assert Ottoman control over the whole of Hungary, the western part of which was under Habsburg control. The decision to attack Vienna after such a long interval in Suleiman's European campaign is viewed as an opportunistic manoeuvre after his decisive victory in Hungary. Other scholars theorise that the suppression of Hungary simply marked the prologue to a later, premeditated invasion of Europe.", "answer": "Battle of Vienna" }, { "emoji": "🏰", "question": "What American businessman and guided the character Epick Mickey?", "document": "The character was regained by The Walt Disney Company in 2006 under the guidance of Bob Iger.Robert Allen Iger ( ; born February 10, 1951) is an American businessman who is chairman and chief executive officer (CEO) of The Walt Disney Company.", "answer": "Walt Disney himself guided Epic Mickey." } ] with open('logo.svg', 'r') as file: logo_svg = file.read() HEADER = f""" # Patronus Lynx Demo

Lynx 8B v1.1 & Lynx 70B

{logo_svg}
**Patronus Lynx** is a state-of-the-art open-source model for hallucination detection. **Getting Started**: Provide a question and document or context given to your model in addition to the answer given by the model and then click submit. The output panel will indicate whether the reponse is a hallucination (Fail) or if it is faithful to the given document or context (Pass) through the score Pass or Fail and provide reasoning behind the score. """ EXAMPLES_HEADER = """ # Try it Yourself! """ UPLOADABLE_FILE_TYPES = [".pdf", ".txt", ".docx", ".doc"] css = """ .example-button { width: fit-content; font-size: 1rem; font-weight: 400 !important; padding: .5rem 1rem; } """ def update_client_base_url(model_name): if model_name == "Patronus Lynx 8B v1.1": return "https://yb15a7dy-patronus-lynx-8b-v1-1.tin.lepton.run/api/v1/" elif model_name == "Patronus Lynx 70B": return "https://yb15a7dy-lynx-70b.tin.lepton.run/api/v1/" def parse_patronus_lynx_response( response: str, ) -> Tuple[bool, Union[List[str], None]]: """ Parses the response from the Patronus Lynx LLM and returns a tuple of: - Whether the response is hallucinated or not. - A reasoning trace explaining the decision. """ # Default to hallucinated hallucination, reasoning = True, None reasoning_pattern = r'"REASONING":\s*\[(.*?)\]' score_pattern = r'"SCORE":\s*"?\b(PASS|FAIL)\b"?' reasoning_match = re.search(reasoning_pattern, response, re.DOTALL) score_match = re.search(score_pattern, response) if score_match: score = score_match.group(1) if score == "PASS": hallucination = False if reasoning_match: reasoning_content = reasoning_match.group(1) reasoning = re.split(r"['\"],\s*['\"]", reasoning_content) return hallucination, reasoning def model_call(question, document, answer, client_base_url): client = openai.OpenAI( base_url=client_base_url, api_key=LEPTON_API_TOKEN ) print("CLIENT AND CLIENT BASE URL", client, client_base_url) if question == "" or document == "" or answer == "": return "", "" NEW_FORMAT = PROMPT.format(question=question, document=document, answer=answer) print("ENTIRE NEW_FORMAT", NEW_FORMAT) response = client.completions.create( model="gpt-3.5-turbo-instruct", prompt=NEW_FORMAT, temperature=0.0 ) print("RESPONSE FROM CLIENT:", response) hallucination, reasoning = parse_patronus_lynx_response(response.choices[0].text) score = "🔴 FAIL 🔴" if hallucination else "🟢 PASS 🟢" combined_reasoning = " ".join(reasoning)[1:-1] return combined_reasoning, score def get_filetype(filename): return filename.split(".")[-1] def extract_text_pymupdf(file): with pymupdf.open(file) as pdf_or_txt: text = "" for page in pdf_or_txt: text += page.get_text() return text def extract_text_python_docx(file): doc = Document(file) text = "" for paragraph in doc.paragraphs: text += paragraph.text + '\n' return text.strip() def upload_file(filepath): extracted_file_text = "" if filepath is not None: name = Path(filepath).name print("FILEPATH & file name", filepath, name) print("FILEPATH type & file name type", type(filepath), type(name)) filetype = get_filetype(name) # conditionals for filetype and function call if filetype == "pdf" or filetype == "txt": extracted_file_text = extract_text_pymupdf(filepath) elif filetype == "docx": extracted_file_text = extract_text_python_docx(filepath) return [gr.UploadButton(visible=False), gr.Group(visible=True), gr.Markdown(f"**Uploaded file:** {name}"), extracted_file_text] else: return [gr.UploadButton(visible=True, file_count="single", file_types=UPLOADABLE_FILE_TYPES), gr.Group(visible=False), gr.Markdown(""), extracted_file_text] def reset_buttons(): return [gr.UploadButton(visible=True, file_count="single", file_types=UPLOADABLE_FILE_TYPES), gr.Group(visible=False), gr.Markdown(""), gr.Textbox(value="")] def select_template(template): return template["question"], template["document"], template["answer"] # def download_file(): # return [gr.UploadButton(visible=True), gr.DownloadButton(visible=False)] with gr.Blocks(css=css, theme=gr.themes.Default(spacing_size="sm", font=[gr.themes.GoogleFont("Plus Jakarta Sans"), "Arial", "sans-serif"], primary_hue="indigo", secondary_hue="purple")) as demo: base_url_state = gr.State(update_client_base_url("Patronus Lynx 8B v1.1")) gr.Markdown(HEADER) model_dropdown = gr.Dropdown(choices=["Patronus Lynx 8B v1.1", "Patronus Lynx 70B"], value="Patronus Lynx 8B v1.1", label="Model", interactive=True) with gr.Row(): with gr.Column(scale=1): with gr.Row(): question = gr.Textbox(label="Question") with gr.Row(): document = gr.Textbox(label="Document", scale=9) u = gr.UploadButton("Upload", visible=True, file_count="single", file_types=UPLOADABLE_FILE_TYPES, scale=1) file_group = gr.Group(elem_classes="fixed-height-button", visible=False) with file_group: file_name = gr.Markdown("") c = gr.ClearButton([u, file_name]) # d = gr.DownloadButton("Download the file", visible=False, scale=1) with gr.Row(): answer = gr.Textbox(label="Answer") with gr.Row(): clear_btn = gr.ClearButton([question, document, answer]) submit_button = gr.Button("Submit", variant="primary") with gr.Column(scale=1): reasoning = gr.Textbox(label="Reasoning") score = gr.Textbox(label="Score (FAIL if Hallucinated, PASS if not)") gr.Markdown(" ") gr.Markdown(EXAMPLES_HEADER) with gr.Row(): with gr.Column(): for _, example in enumerate(EXAMPLES): template_btn = gr.Button(f"{example['emoji']} {example['question']}", elem_classes="example-button") template_btn.click( fn=select_template, inputs=[gr.State(example)], outputs=[question, document, answer] ) model_dropdown.change(fn=update_client_base_url, inputs=[model_dropdown], outputs=[base_url_state]) u.upload(upload_file, u, [u, file_group, file_name, document]) c.click(reset_buttons, None, [u, file_group, file_name, document]) # d.click(download_file, None, [u, d]) submit_button.click(fn=model_call, inputs=[question, document, answer, base_url_state], outputs=[reasoning, score]) question.submit(fn=model_call, inputs=[question, document, answer, base_url_state], outputs=[reasoning, score]) document.submit(fn=model_call, inputs=[question, document, answer, base_url_state], outputs=[reasoning, score]) answer.submit(fn=model_call, inputs=[question, document, answer, base_url_state], outputs=[reasoning, score]) demo.launch()